search

Toxaris / pts

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

Unbox name components. #91

Closed Toxaris closed 9 years ago

Toxaris commented 9 years ago

This improves the memory layout of names and the generated Eq and Ord instances and thereby speeds up pts by ca. 13% for me.

Blaisorblade commented 9 years ago

:+1: