This repository was archived by the owner on Oct 19, 2023. It is now read-only.
This repository was archived by the owner on Oct 19, 2023. It is now read-only.
Optimize type-preserving compilation #470
Description
Currently, every Term and Value has the type of Term and Lazy<Value> respectively. However, if Var and Meta have their types, all the other types can be reconstructed cheaply.