random agda code/proofs playground
|
vor 3 Jahren | |
---|---|---|
.agda-lib | vor 3 Jahren | |
.gitignore | vor 3 Jahren | |
LICENSE | vor 3 Jahren | |
NanoLens.agda | vor 3 Jahren | |
README.md | vor 3 Jahren | |
dep.agda | vor 3 Jahren |
random agda code/proofs playground