search

Toxaris / pts

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

Improved instance interfaces #36

Closed reflectionalist closed 11 years ago

reflectionalist commented 11 years ago

Sorry, I sent the pull request from the wrong branch.