You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently we use a gutted version of hvm-core's AST and copied over the transformations we needed.
We should complete the move to using hvm's AST instead, by adding it as a dependency, which will slightly simplify things.
It will also allow us to implement compile-time reduction since we'll get the execution semantics and evaluation for free if we use the hvm crate.
The text was updated successfully, but these errors were encountered:
Currently we use a gutted version of hvm-core's AST and copied over the transformations we needed.
We should complete the move to using hvm's AST instead, by adding it as a dependency, which will slightly simplify things.
It will also allow us to implement compile-time reduction since we'll get the execution semantics and evaluation for free if we use the hvm crate.
The text was updated successfully, but these errors were encountered: