Back to search
Type theories as quotient inductive-inductive-recursive types
Stars
11
Forks
1
Watchers
11
Open Issues
1
Overall repository health assessment
No package.json found
This might not be a Node.js project
ACM cannot deal with subtitles together with question marks
a47faccView on GitHubvarious polishing and dealing with reviewer comments
c3ec7dcView on GitHubThree remaining issues to resolve (termination, strictification, and the notion of models)
1d92dccView on GitHub