Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2018-07-10 | - Re-named "struct:" to "structure:". | Eduardo Julian | 1 | -1/+1 | |
2018-07-05 | - Re-named "equality" to "equivalence". | Eduardo Julian | 1 | -14/+14 | |
2018-07-04 | - Re-named "degree" to "revolution". | Eduardo Julian | 1 | -4/+4 | |
2018-07-04 | - Implemented ":cast" macro, and used it to implement both ":abstraction" ↵ | Eduardo Julian | 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). | |||||
2018-05-13 | - Re-named ".../eq" modules to ".../equality". | Eduardo Julian | 1 | -1/+1 | |
- Other minor improvements. | |||||
2018-05-13 | - Added new #I64 type as foundation for types based on 64-bit integers. | Eduardo Julian | 1 | -1/+1 | |
2018-04-05 | - Improved the syntax for the "lux.function" macro. | Eduardo Julian | 1 | -4/+4 | |
2017-11-29 | - Changed the identifier separator, from the semi-colon (;) to the ↵ | Eduardo Julian | 1 | -55/+55 | |
period/dot (.). | |||||
2017-11-15 | - Re-named "lux/meta" to to "lux/macro". | Eduardo Julian | 1 | -0/+0 | |
2017-10-16 | - Re-named "Lux" type to "Meta". | Eduardo Julian | 1 | -1/+1 | |
- Moved lux/type/* under lux/meta/*. | |||||
2017-09-19 | - Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵ | Eduardo Julian | 1 | -3/+3 | |
"identity"). | |||||
2017-09-04 | - Re-named "real" numbers to "frac"(tions). | Eduardo Julian | 1 | -4/+4 | |
2017-07-15 | - Can now generate Eq instances for #rec-style recursive types. | Eduardo Julian | 1 | -1/+1 | |
- Minor refactorings. | |||||
2017-07-02 | - Lux no longer has a Char primitive data-type. | Eduardo Julian | 1 | -5/+0 | |
2017-07-01 | - Text no longer has a codec (because the decoding didn't handle unicode ↵ | Eduardo Julian | 1 | -1/+3 | |
escaping). | |||||
2017-05-07 | - Renamed "AST" to "Code". | Eduardo Julian | 1 | -25/+25 | |
2017-05-03 | - Removed the "S" suffix from AST tags. | Eduardo Julian | 1 | -58/+58 | |
2017-04-15 | - Small refactorings. | Eduardo Julian | 1 | -1/+1 | |
2017-04-10 | - Renamed "lambda" to "function". | Eduardo Julian | 1 | -4/+4 | |
2017-02-05 | - Added support for compiling _lux_proc (some procedures). | Eduardo Julian | 1 | -1/+1 | |
- Added support for compiling (some) procedures, captured-variables, iteration, if-expressions and get-expressions. - Fixed some bugs. | |||||
2017-01-26 | - Changed the license from MPL 2.0 to MIT. | Eduardo Julian | 1 | -5/+0 | |
2017-01-25 | - Moved the lux/data/struct/* modules to lux/data/coll/*. | Eduardo Julian | 1 | -1/+1 | |
- Did the same for the lux/codata/struct/* modules. - Moved lux/codata/io to lux/io. - Moved lux/control/effect to lux/effect. - Renamed "sample" functions to "this" functions. - Renamed "at" functions to "nth" functions. | |||||
2017-01-25 | - Renamed lux/data/struct/tree to lux/data/struct/tree/rose. | Eduardo Julian | 1 | -3/+3 | |
- Moved lux/data/struct/zipper to lux/data/struct/tree/zipper. - Moved lux/regex to lux/lexer/regex. - Changed the suffix of annotation tags, from M to A. - Renamed Frac(tional) numbers to Deg(rees). | |||||
2017-01-04 | - Updated the documentation of most modules left. | Eduardo Julian | 1 | -22/+24 | |
- Minor refactorings. | |||||
2016-12-04 | - Minor refactorings and expansions. | Eduardo Julian | 1 | -3/+3 | |
2016-12-01 | - Collected the Lux compiler's repo, the Standard Library's, the Leiningen ↵ | Eduardo Julian | 1 | -0/+149 | |
plugin's and the Emacs mode's into a big monorepo, to keep development unified. |