My solutions to exercises from the Agda tutorial by Eötvös Loránd University.
Primary LanguageAgda
This repository is not active