a type theory with equality based on setoids
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 94fffd1f1b need to throw this stuff on git 1 year ago
src need to throw this stuff on git 1 year ago
.gitignore need to throw this stuff on git 1 year ago
LICENSE need to throw this stuff on git 1 year ago
README.md need to throw this stuff on git 1 year ago
Setup.hs need to throw this stuff on git 1 year ago
hie.yaml need to throw this stuff on git 1 year ago
setoid.cabal need to throw this stuff on git 1 year ago
stack.yaml need to throw this stuff on git 1 year ago
stack.yaml.lock need to throw this stuff on git 1 year ago
test.stt need to throw this stuff on git 1 year ago
test2.stt need to throw this stuff on git 1 year ago
test3.stt need to throw this stuff on git 1 year ago

README.md

setoid