Beluga-lang / Meta

Mechanizing Types and Programming Languages using Beluga
17Updated 4 years ago

Related projects

Alternatives and complementary repositories for Meta