Soonad/Formality-Core

Issues

• Can we derive function extensionality from self types only?

  #12 opened 4 years ago by VictorTaelin
  8

• Possible error in JS typechecker

  #7 opened 4 years ago by johnchandlerburnham
  2

• More a question than an issue

  #4 opened 4 years ago by v217
  0