This is a repo for snippets of Agda code that aren't big enough to be their own projects.
The highlighted, clickable code is available at oisdk.github.io/agda-playground/Everything.html
This is a repo for snippets of Agda code that aren't big enough to be their own projects.
The highlighted, clickable code is available at oisdk.github.io/agda-playground/Everything.html