gergoerdi / stlc-agda

STLC-related snippets in Agda
15Updated 11 years ago

Related projects

Alternatives and complementary repositories for stlc-agda