Amélia Liao 509bc02120 | 2 years ago | |
---|---|---|
src | 2 years ago | |
.gitignore | 2 years ago | |
LICENSE | 2 years ago | |
README.md | 2 years ago | |
Setup.hs | 2 years ago | |
agda-fold-equations.cabal | 2 years ago | |
hie.yaml | 2 years ago | |
stack.yaml | 2 years ago | |
stack.yaml.lock | 2 years ago |