random agda code/proofs playground
caryoscelus 6cdf3a238e dep | 2 rokov pred | |
---|---|---|
.agda-lib | 2 rokov pred | |
.gitignore | 2 rokov pred | |
LICENSE | 2 rokov pred | |
NanoLens.agda | 2 rokov pred | |
README.md | 2 rokov pred | |
dep.agda | 2 rokov pred |
random agda code/proofs playground