rodrigogribeiro / agda-small-developments-and-examples Goto Github PK
View Code? Open in Web Editor NEWThis project forked from wjzz/agda-small-developments-and-examples
A collection of mostly unrelated Agda programs which I found interesting in some way.