/agda-learning

Stuff I’m writing to learn Agda.

Primary LanguageAgda

This repository is not active