aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/option_key_fn.sml
Commit message (Expand)AuthorAge
* Use uniform representation of comparisons for better simplification.Gravatar Ziv Scully2015-07-20
* Rename C functions and remove functors nested inside modules.Gravatar Ziv Scully2015-07-19