Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Re-named "Ident" to "Name". | Eduardo Julian | 2018-07-21 | 2 | -16/+16 |
| | |||||
* | - Re-named "Compiler" to "Phase". | Eduardo Julian | 2018-07-21 | 2 | -2/+2 |
| | | | - Re-structured the compiler infrastructure. | ||||
* | Moved "lux/language/type/*" to "lux/type/*". | Eduardo Julian | 2018-07-21 | 1 | -2/+1 |
| | |||||
* | Re-named "lux/world/blob" to "lux/world/binary". | Eduardo Julian | 2018-07-21 | 1 | -3/+3 |
| | |||||
* | "^open" and "open:" now use aliases instead of prefixes, the same way as ↵ | Eduardo Julian | 2018-07-20 | 5 | -7/+7 |
| | | | | module aliases. | ||||
* | No longer giving default aliases to un-prefixed imports. | Eduardo Julian | 2018-07-20 | 6 | -38/+50 |
| | |||||
* | - New syntax for bit values: "#0" and "#1", instead of "false" and "true". | Eduardo Julian | 2018-07-14 | 2 | -6/+6 |
| | | | - Small improvements to lux-mode. | ||||
* | Re-named "Bool" type to "Bit". | Eduardo Julian | 2018-07-13 | 4 | -8/+8 |
| | |||||
* | - Improvements to import syntax [part 2]. | Eduardo Julian | 2018-07-11 | 6 | -61/+75 |
| | |||||
* | - Improvements to import syntax [part 1]. | Eduardo Julian | 2018-07-11 | 5 | -12/+12 |
| | |||||
* | - Improvements to import syntax [part 0]. | Eduardo Julian | 2018-07-10 | 6 | -15/+15 |
| | |||||
* | - Re-named path "lux/lang/*" to "lux/language/*". | Eduardo Julian | 2018-07-10 | 3 | -3/+3 |
| | |||||
* | - Re-named path "lux/data/coll/*" to "lux/data/collection/*". | Eduardo Julian | 2018-07-10 | 5 | -6/+6 |
| | |||||
* | - Re-named "struct:" to "structure:". | Eduardo Julian | 2018-07-10 | 1 | -1/+1 |
| | |||||
* | - Binary (de)serialization module. | Eduardo Julian | 2018-07-05 | 1 | -0/+23 |
| | |||||
* | - Re-named "degree" to "revolution". | Eduardo Julian | 2018-07-04 | 1 | -1/+1 |
| | |||||
* | - "lux/data/text/buffer" module, with platform-specific implementations of ↵ | Eduardo Julian | 2018-07-04 | 1 | -0/+72 |
| | | | | code using text-buffer abstractions for fast text concatenation. | ||||
* | - Implemented ":cast" macro, and used it to implement both ":abstraction" ↵ | Eduardo Julian | 2018-07-04 | 1 | -3/+1 |
| | | | | | 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 "@abstraction" to ":abstraction" and "@representation" to ↵ | Eduardo Julian | 2018-07-03 | 1 | -9/+9 |
| | | | | ":representation". | ||||
* | - Re-named "Top" to "Any", and "Bottom" to "Nothing". | Eduardo Julian | 2018-05-20 | 2 | -3/+3 |
| | | | - Removed some modules that should have been deleted before. | ||||
* | - Added dedicated unicode support for text. | Eduardo Julian | 2018-05-13 | 1 | -0/+338 |
| | | | - Minor refactoring. | ||||
* | - Added new #I64 type as foundation for types based on 64-bit integers. | Eduardo Julian | 2018-05-13 | 2 | -7/+7 |
| | |||||
* | - Removed Void and Unit as kinds of types. | Eduardo Julian | 2018-05-05 | 2 | -3/+3 |
| | | | - Changed the value of "unit" in the old LuxC to match the one in new-luxc. | ||||
* | - Changed the syntax for the parameters of "syntax:". | Eduardo Julian | 2018-05-02 | 2 | -4/+4 |
| | |||||
* | - Improved the syntax for the "lux.function" macro. | Eduardo Julian | 2018-04-05 | 3 | -17/+17 |
| | |||||
* | - Fixed tests in stdlib. | Eduardo Julian | 2018-02-07 | 1 | -1/+1 |
| | |||||
* | - Minor refactorings and bug fixes. | Eduardo Julian | 2017-12-24 | 1 | -109/+109 |
| | |||||
* | - Added type-safe modular arithmetic. | Eduardo Julian | 2017-12-24 | 1 | -4/+10 |
| | |||||
* | - Fixed some small issues uncovered by new-luxc. | Eduardo Julian | 2017-12-03 | 1 | -2/+2 |
| | |||||
* | - "gensym" went back to producing Code, instead of Ident. | Eduardo Julian | 2017-12-02 | 2 | -11/+10 |
| | |||||
* | - Added context-sensitive macro-expansion by means of "lux in-module", and ↵ | Eduardo Julian | 2017-12-02 | 2 | -50/+47 |
| | | | | | | removed all the (now unnecessary) #hidden tags. - Fixed a bug when loading the imports from the cache. - Added special notation for context-sensitive macro-expansion. | ||||
* | - Changed some of the syntax for macro templating. | Eduardo Julian | 2017-12-01 | 2 | -12/+11 |
| | | | - "gensym" now produces Ident instead of Code. | ||||
* | - Changed the identifier separator, from the semi-colon (;) to the ↵ | Eduardo Julian | 2017-11-29 | 3 | -369/+370 |
| | | | | period/dot (.). | ||||
* | - Re-named the "." function to "compose" and moved it to lux/function. | Eduardo Julian | 2017-11-28 | 1 | -61/+61 |
| | |||||
* | - Got rid of even more dots. | Eduardo Julian | 2017-11-27 | 1 | -2/+2 |
| | |||||
* | - Changed the prefixes of numeric functions. | Eduardo Julian | 2017-11-27 | 2 | -17/+17 |
| | |||||
* | - Re-named "lux/meta" to to "lux/macro". | Eduardo Julian | 2017-11-15 | 3 | -11/+11 |
| | |||||
* | - Moved "/type/*" to from "lux/meta/" to "lux/". | Eduardo Julian | 2017-11-15 | 1 | -3/+3 |
| | |||||
* | - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang". | Eduardo Julian | 2017-11-15 | 1 | -2/+2 |
| | |||||
* | - Removed "lux text last-index" procedure. | Eduardo Julian | 2017-11-14 | 1 | -2/+2 |
| | | | | | - Removed "lux text trim" procedure. - Modified "lux text clip" procedure. - Some bug fixes. | ||||
* | - Fixed some small defects. | Eduardo Julian | 2017-10-26 | 1 | -3/+5 |
| | |||||
* | - Re-named "Lux" type to "Meta". | Eduardo Julian | 2017-10-16 | 3 | -14/+14 |
| | | | - Moved lux/type/* under lux/meta/*. | ||||
* | - Re-named "Result" type back to "Error". | Eduardo Julian | 2017-10-16 | 2 | -54/+54 |
| | |||||
* | - Re-named lux/control/parser;opt to lux/control/parser;maybe. | Eduardo Julian | 2017-10-16 | 1 | -2/+2 |
| | |||||
* | - Renamed "%r" to "%f". | Eduardo Julian | 2017-10-12 | 1 | -1/+1 |
| | |||||
* | - Eliminated the Anns and Ann-Value types, and now only using Code for ↵ | Eduardo Julian | 2017-10-11 | 1 | -2/+3 |
| | | | | definition annotations. | ||||
* | - Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵ | Eduardo Julian | 2017-09-19 | 3 | -15/+15 |
| | | | | "identity"). | ||||
* | - Some refactoring. | Eduardo Julian | 2017-09-19 | 2 | -8/+7 |
| | | | - Moved "assume" and "default" to lux/data/maybe. | ||||
* | - Simplified code for JSON format. | Eduardo Julian | 2017-09-04 | 1 | -3/+2 |
| | | | - Moved JSON polytypism to the lux/macro/poly/* branch. | ||||
* | - Re-named "real" numbers to "frac"(tions). | Eduardo Julian | 2017-09-04 | 1 | -1/+1 |
| |