Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update headers. | 2015-01-12 | |
* | Missing primitives in HMap. | 2014-07-21 | |
* | Fixing semantics of HSet.inter and HSet.diff. | 2014-07-21 | |
* | Fixing previous commit. Forgot to include some code. | 2014-03-05 | |
* | Added a new module HMap. It works (almost) like Map, except that it expects | 2014-03-05 |