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 роки тому |
README.md
chunks-of-agda
random agda code/proofs playground