Add parser tests - Githubissues

Toxaris / pts

Interpreter for functional pure type systems.

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

21 stars 7 forks source link

Closed fehrenbach closed 11 years ago

fehrenbach commented 11 years ago

Here are some parser tests using pretty printed string equality, not alpha equivalence. This addresses #16 but there are many more tests conceivable.