Better debug info for type checking - Githubissues

Toxaris / pts

Interpreter for functional pure type systems.

BSD 3-Clause "New" or "Revised" License

21 stars 7 forks source link

Better debug info for type checking #47

Closed reflectionalist closed 11 years ago