lukemaurer / sequent-core

Alternative Core language for GHC plugins
39Updated 8 years ago

Related projects

Alternatives and complementary repositories for sequent-core