search

Toxaris / pts

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

Test with multiple GHCs #128

Closed Blaisorblade closed 9 years ago

Blaisorblade commented 9 years ago

Already built (https://github.com/Blaisorblade/pts/commit/4469190b3f743a54573861020711f0577d9dd890 links to successful https://travis-ci.org/Blaisorblade/pts/builds/33480018), merging.