Ambrus Kaposi
Untitled project
tt-in-tt
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–11 of 11)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#8: Make PSh contravariant and refactor
bug
major
new
Gun Pinyo
2017-02-21
2017-05-11
#7: Add more type formers to the setoid model
enhancement
major
new
Gun Pinyo
2017-02-21
2017-05-11
#11: Should the base type be in the empty context?
enhancement
major
new
2017-04-07
2017-04-07
#10: PER vs. traditional
proposal
major
new
2017-04-07
2017-04-07
#1: Add new types to the syntax
enhancement
major
new
2017-02-21
2017-02-22
#3: Add a syntax for cubical type theory
enhancement
major
new
2017-02-21
2017-02-22
#9: Define eliminators for renamings
bug
major
new
2017-02-21
2017-02-21
#6: Equivalence with old-style syntax
enhancement
major
new
2017-02-21
2017-02-21
#5: Type checker
enhancement
major
new
2017-02-21
2017-02-21
#4: Rewrite things without K
enhancement
major
new
2017-02-21
2017-02-21
#2: Decidability of equality for TT.Core
enhancement
major
new
2017-02-21
2017-02-21