Avoid local options v2 - Githubissues

Toxaris / pts

Interpreter for functional pure type systems.

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

21 stars 7 forks source link

Closed Blaisorblade closed 9 years ago

Blaisorblade commented 9 years ago

Fixes #55, by removing local options and simplifying option handling as much as I can see.