Issues
- 2
- 0
Fix parenthesis for types with lambdas
#33 opened by pedrotst - 0
Change names that start with an underscore
#32 opened by pedrotst - 0
Smarter fresh name generator
#31 opened by pedrotst - 1
- 0
Uncurry constructors
#30 opened by pedrotst - 0
Wrap new lines
#29 opened by pedrotst - 0
Implement lifts to `m`
#27 opened by pedrotst - 0
- 2
Implement tFix
#23 opened by pedrotst - 1
- 0
Flag to turn type annotations on and off
#21 opened by pedrotst - 1
Adding link to Cedille
#22 opened by clarus - 2
Build the contradiction from nil = vnil
#12 opened by pedrotst - 1
Add Kinds to AST via ∀
#20 opened by pedrotst - 0
Translate JMeq
#19 opened by pedrotst - 0
Translate a proof
#5 opened by pedrotst - 0
Translate 1=1
#18 opened by pedrotst - 0
Translate eq
#17 opened by pedrotst - 1
Differentiate TmApp and TyApp
#14 opened by pedrotst - 0
Translate less than or equal (le) definition
#4 opened by pedrotst - 0
Refactor the AST for App and Arrow
#16 opened by pedrotst - 0
Parameters being denoted in wrong order
#15 opened by pedrotst - 0
Print minimum number of parenthesis
#13 opened by pedrotst - 0
Translate Vector datatype
#3 opened by pedrotst - 0
Add test cases to travis
#11 opened by pedrotst - 1
Remove Parameters from Constructors
#9 opened by pedrotst - 0
Add support to travis
#6 opened by pedrotst - 2
Translate option Datatype
#8 opened by pedrotst - 2
Translate Lists datatype
#2 opened by pedrotst - 0
Indentation is wrong
#10 opened by pedrotst - 0
Add Parameters to Datatypes
#7 opened by pedrotst - 1
Translate nat datatype
#1 opened by pedrotst