random agda code/proofs playground
caryoscelus 6cdf3a238e dep | il y a 2 ans | |
---|---|---|
.agda-lib | il y a 2 ans | |
.gitignore | il y a 2 ans | |
LICENSE | il y a 2 ans | |
NanoLens.agda | il y a 2 ans | |
README.md | il y a 2 ans | |
dep.agda | il y a 2 ans |
random agda code/proofs playground