Commit message (Expand) | Author | Age | |
---|---|---|---|
* | rename-everything | 2017-04-06 | |
* | start removing BaseSystem | 2017-04-06 | |
* | Support Z.opp | 2017-04-05 | |
* | An approximately first stab DeBruijn word-size-sel | 2017-04-03 | |
* | Fix inversion_base_type | 2017-03-31 | |
* | Add inversion_base_type for Z.Syntax.base_type | 2017-03-31 | |
* | Switch to fully uncurried form for reflection | 2017-03-01 | |
* | Split up Reflection/Z/Syntax and make it smaller | 2017-02-02 |