You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
Amélia Liao 509bc02120 initial commit 10 months ago
src initial commit 10 months ago
.gitignore initial commit 10 months ago
LICENSE initial commit 10 months ago
README.md initial commit 10 months ago
Setup.hs initial commit 10 months ago
agda-fold-equations.cabal initial commit 10 months ago
hie.yaml initial commit 10 months ago
stack.yaml initial commit 10 months ago
stack.yaml.lock initial commit 10 months ago

README.md

agda-fold-equations