search

Toxaris / pts

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

Merge topic/reorganization. #60

Closed Toxaris closed 11 years ago

Toxaris commented 11 years ago

This is a heads up: I want to merge the branch topic/reorganization into master, and that will touch almost every file.