molikto/mlang

Issues

• We can now reify values => Abstract, but we want to be able to do Abstract => Term. they can be used to do pretty printing error messages

  #3 opened 5 years ago by molikto
  0

• Support defining parameterized inductive type

  #6 opened 5 years ago by molikto
  0

• implement inferring the type of a decleration under a telescope

  #8 opened 5 years ago by molikto
  0

• error report line number

  #10 opened 5 years ago by molikto
  0

• Implement user defined projection

  #9 opened 5 years ago by molikto
  0

• implement const_projections syntax

  #7 opened 5 years ago by molikto
  0

• pretty printing to HTML

  #5 opened 5 years ago by molikto
  0

• Implement `with_constructors` modifier

  #4 opened 5 years ago by molikto
  0

• when reify meta body, move it up the layers so it has more visibility if possible

  #2 opened 5 years ago by molikto
  0