Reversible languages in HoTT, Indiana University GTAP 2019
Primary LanguageAgda
No one’s star this repository yet.