rodrigogribeiro / agda-software-foundations

Porting of software foundations book to Agda
37Updated 10 years ago

Related projects

Alternatives and complementary repositories for agda-software-foundations