/agda-oplss13

to learn agda with Dan Licata and Ian Voysey ^-^

Primary LanguageAgda

Watchers