random agda code/proofs playground
caryoscelus 6cdf3a238e dep | 2 лет назад | |
---|---|---|
.agda-lib | 2 лет назад | |
.gitignore | 2 лет назад | |
LICENSE | 2 лет назад | |
NanoLens.agda | 2 лет назад | |
README.md | 2 лет назад | |
dep.agda | 2 лет назад |
random agda code/proofs playground