/practical-agda

My solutions to exercises from the Agda tutorial by Eötvös Loránd University.

Primary LanguageAgda

Stargazers

No one’s star this repository yet.