pedrotst/coquedille

Issues

• Translate Coq recursion that does not directly pattern matches

  #24 opened 5 years ago by pedrotst
  2

• Fix parenthesis for types with lambdas

  #33 opened 4 years ago by pedrotst
  0

• Change names that start with an underscore

  #32 opened 4 years ago by pedrotst
  0

• Smarter fresh name generator

  #31 opened 4 years ago by pedrotst
  0

• Cast Recursive Argument Constructor Arguments when necessary

  #28 opened 4 years ago by pedrotst
  1

• Uncurry constructors

  #30 opened 4 years ago by pedrotst
  0

• Wrap new lines

  #29 opened 4 years ago by pedrotst
  0

• Implement lifts to `m`

  #27 opened 4 years ago by pedrotst
  0

• Disambiguate bound variables in matching branches

  #26 opened 4 years ago by pedrotst
  0

• Implement tFix

  #23 opened 4 years ago by pedrotst
  2

• Fix identation for nested pattern matching / recursion

  #25 opened 5 years ago by pedrotst
  1

• Flag to turn type annotations on and off

  #21 opened 5 years ago by pedrotst
  0

• Adding link to Cedille

  #22 opened 5 years ago by clarus
  1

• Build the contradiction from nil = vnil

  #12 opened 5 years ago by pedrotst
  2

• Add Kinds to AST via ∀

  #20 opened 5 years ago by pedrotst
  1

• Translate JMeq

  #19 opened 5 years ago by pedrotst
  0

• Translate a proof

  #5 opened 5 years ago by pedrotst
  0

• Translate 1=1

  #18 opened 5 years ago by pedrotst
  0

• Translate eq

  #17 opened 5 years ago by pedrotst
  0

• Differentiate TmApp and TyApp

  #14 opened 5 years ago by pedrotst
  1

• Translate less than or equal (le) definition

  #4 opened 5 years ago by pedrotst
  0

• Refactor the AST for App and Arrow

  #16 opened 5 years ago by pedrotst
  0

• Parameters being denoted in wrong order

  #15 opened 5 years ago by pedrotst
  0

• Print minimum number of parenthesis

  #13 opened 5 years ago by pedrotst
  0

• Translate Vector datatype

  #3 opened 5 years ago by pedrotst
  0

• Add test cases to travis

  #11 opened 5 years ago by pedrotst
  0

• Remove Parameters from Constructors

  #9 opened 5 years ago by pedrotst
  1

• Add support to travis

  #6 opened 5 years ago by pedrotst
  0

• Translate option Datatype

  #8 opened 5 years ago by pedrotst
  2

• Translate Lists datatype

  #2 opened 5 years ago by pedrotst
  2

• Indentation is wrong

  #10 opened 5 years ago by pedrotst
  0

• Add Parameters to Datatypes

  #7 opened 5 years ago by pedrotst
  0

• Translate nat datatype

  #1 opened 5 years ago by pedrotst
  1