search

Toxaris / pts

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

Add a flag for research pts tools #102

Closed Blaisorblade closed 9 years ago

Blaisorblade commented 9 years ago

Should not install by default pts-quote & pts-nbe.