Geeks
AndrasKovacs
/
sett
Setoid type theory implementation
Primary Language
Haskell
MIT License
MIT
sett GitHub
Markdown
Readme
2
Issues
38
Stargazers
11
Watchers
Issues
Closed issue
Unification error
#2 opened
2 years ago
by
akaposi
0
Closed issue
Properly handling trailing newline
#1 opened
2 years ago
by
isti115
1