pedrotst/coquedille Issues
Smarter fresh name generator
UpdatedUncurry constructors
UpdatedWrap new lines
UpdatedImplement lifts to `m`
ClosedImplement tFix
Closed 2Adding link to Cedille
Closed 1Add Kinds to AST via ∀
Closed 1Translate JMeq
ClosedTranslate a proof
ClosedTranslate 1=1
ClosedTranslate eq
ClosedDifferentiate TmApp and TyApp
Closed 1Add test cases to travis
ClosedAdd support to travis
ClosedTranslate option Datatype
Closed 2Translate Lists datatype
Closed 2Indentation is wrong
ClosedTranslate nat datatype
Closed 1