random agda code/proofs playground

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

README.md

chunks-of-agda

random agda code/proofs playground