robrix/surface

Issues

• The Sigma constructor does not typecheck

  #15 opened 8 years ago by robrix
  0

• Data constructors with the same names as type constructors don’t infer correctly

  #14 opened 8 years ago by robrix
  0

• There is no comment syntax

  #7 opened 8 years ago by robrix
  0

• Parsing errors are hidden in --debug mode

  #5 opened 8 years ago by robrix
  0

• Typechecking errors don’t tell you the line and column

  #3 opened 8 years ago by robrix
  0