Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵ | Eduardo Julian | 2017-09-19 | 1 | -3/+3 |
| | | | | "identity"). | ||||
* | - Re-named "real" numbers to "frac"(tions). | Eduardo Julian | 2017-09-04 | 1 | -4/+4 |
| | |||||
* | - Can now generate Eq instances for #rec-style recursive types. | Eduardo Julian | 2017-07-15 | 1 | -1/+1 |
| | | | - Minor refactorings. | ||||
* | - Lux no longer has a Char primitive data-type. | Eduardo Julian | 2017-07-02 | 1 | -5/+0 |
| | |||||
* | - Text no longer has a codec (because the decoding didn't handle unicode ↵ | Eduardo Julian | 2017-07-01 | 1 | -1/+3 |
| | | | | escaping). | ||||
* | - Renamed "AST" to "Code". | Eduardo Julian | 2017-05-07 | 1 | -0/+146 |