search

Toxaris / pts

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

Do more profiling? #87

Closed Blaisorblade closed 9 years ago

Blaisorblade commented 9 years ago

I'm on it in Blaisorblade/pts#1. But I plan to post a profile for reference — there's stuff which shouldn't be there, and @Toxaris is probably going to spot more bad stuff.

Blaisorblade commented 9 years ago

PTS is now fast enough and we've learned to use profiling, so closing.