search

Toxaris / pts

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

Support transformation of File, not just Term. #118

Open Toxaris opened 9 years ago

Toxaris commented 9 years ago

The PTS.Transform.transform function should support transformation of lists of statements, not just terms.