random agda code/proofs playground

5 Commitit

1 Haarat

0 Julkaisut

caryoscelus 6cdf3a238e dep		3 vuotta sitten
.agda-lib	25247a8188 agda deps	3 vuotta sitten
.gitignore	7f6c93f7f4 git-ignore	3 vuotta sitten
LICENSE	47b5e9bcc4 Initial commit	3 vuotta sitten
NanoLens.agda	0144dace13 NanoLens	3 vuotta sitten
README.md	47b5e9bcc4 Initial commit	3 vuotta sitten
dep.agda	6cdf3a238e dep	3 vuotta sitten

chunks-of-agda

random agda code/proofs playground