AndrasKovacs / system-f-omega

System F-omega normalization by hereditary substitution in Agda
56Updated 5 years ago

Related projects

Alternatives and complementary repositories for system-f-omega