/agda-playground

Bunch of Agda stuff, no rhyme or reason

Primary LanguageAgda

This repository is not active