search

Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Improve a type error + TODO #71

Closed Blaisorblade closed 10 years ago

Blaisorblade commented 10 years ago

This improves a bit an error message and analyses the other one — we saw these problems with my (intentionally) faulty examples in System U.