Geeks
jfaure
/
Irie-lang
Subtyping calculus of inductive constructions
Primary Language
Haskell
Other
NOASSERTION
Irie-lang GitHub
Markdown
Readme
2
Issues
50
Stargazers
12
Watchers
Issues
Closed issue
[Questions] Various questions on the article
#2 opened
2 years ago
6
Closed issue
Discord invite has expired
#1 opened
4 years ago
0