mietek / imla2017

Agda formalisation of NbE for λ□
17Updated 6 years ago

Related projects

Alternatives and complementary repositories for imla2017