Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering
Release v0.2.0, with support for ash v0.33.0.
Adds let support to simplifier.
Adds script to run the simplifier on every OCaml file in a directory.
more ast conversion
Switch to Typedtree, remove types from Rust.
Adds some portion of tuples; this is a checkpoint before switching to Typedtree.
Disable langbs on aarch64-linux, until it works there.
Adds start of levitation docs, the start of converting expressions to Core.
Enables aarch64-linux, since the default output works.