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.
 
Abigail 94fffd1f1b need to throw this stuff on git 2 months ago
src need to throw this stuff on git 2 months ago
.gitignore need to throw this stuff on git 2 months ago
LICENSE need to throw this stuff on git 2 months ago
README.md need to throw this stuff on git 2 months ago
Setup.hs need to throw this stuff on git 2 months ago
hie.yaml need to throw this stuff on git 2 months ago
setoid.cabal need to throw this stuff on git 2 months ago
stack.yaml need to throw this stuff on git 2 months ago
stack.yaml.lock need to throw this stuff on git 2 months ago
test.stt need to throw this stuff on git 2 months ago
test2.stt need to throw this stuff on git 2 months ago
test3.stt need to throw this stuff on git 2 months ago

README.md

setoid