Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Re-named "struct:" to "structure:". | Eduardo Julian | 2018-07-10 | 1 | -1/+1 |
| | |||||
* | - Re-named "equality" to "equivalence". | Eduardo Julian | 2018-07-05 | 1 | -14/+14 |
| | |||||
* | - Re-named "degree" to "revolution". | Eduardo Julian | 2018-07-04 | 1 | -4/+4 |
| | |||||
* | - Implemented ":cast" macro, and used it to implement both ":abstraction" ↵ | Eduardo Julian | 2018-07-04 | 1 | -4/+4 |
| | | | | | and ":representation". - Fix: You shouldn't be able to resolve tags if you haven't imported a module (even if they are exported). | ||||
* | - Re-named ".../eq" modules to ".../equality". | Eduardo Julian | 2018-05-13 | 1 | -1/+1 |
| | | | - Other minor improvements. | ||||
* | - Added new #I64 type as foundation for types based on 64-bit integers. | Eduardo Julian | 2018-05-13 | 1 | -1/+1 |
| | |||||
* | - Improved the syntax for the "lux.function" macro. | Eduardo Julian | 2018-04-05 | 1 | -4/+4 |
| | |||||
* | - Changed the identifier separator, from the semi-colon (;) to the ↵ | Eduardo Julian | 2017-11-29 | 1 | -55/+55 |
| | | | | period/dot (.). | ||||
* | - Re-named "lux/meta" to to "lux/macro". | Eduardo Julian | 2017-11-15 | 1 | -0/+143 |
| | |||||
* | - Re-named "Lux" type to "Meta". | Eduardo Julian | 2017-10-16 | 1 | -143/+0 |
| | | | - Moved lux/type/* under lux/meta/*. | ||||
* | - 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 |