/agda-software-foundations

Porting of software foundations book to Agda

Primary LanguageAgda

No issues in this repository yet.