aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* - Re-named "type-of" to ":of".Eduardo Julian2018-07-115-13/+13
|
* - Improvements to import syntax [part 2].Eduardo Julian2018-07-11250-2624/+3248
|
* - Improvements to import syntax [part 1].Eduardo Julian2018-07-11156-588/+551
|
* - Improvements to import syntax [part 0].Eduardo Julian2018-07-10239-766/+780
|
* - Implemented multi-sets.Eduardo Julian2018-07-101-0/+152
|
* - Re-named path "lux/lang/*" to "lux/language/*".Eduardo Julian2018-07-1082-219/+219
|
* - Re-named "lux/world/env" to "lux/world/environment".Eduardo Julian2018-07-101-2/+2
|
* - Re-named path "lux/data/coll/*" to "lux/data/collection/*".Eduardo Julian2018-07-10148-240/+237
|
* - Re-organized dictionary & set modules a bit.Eduardo Julian2018-07-1051-61/+61
|
* - Re-named "Dict" type to "Dictionary".Eduardo Julian2018-07-1039-114/+114
|
* - Ported caching machinery for default compiler.Eduardo Julian2018-07-106-172/+153
| | | - Expanded binary format module.
* - Re-implemented sets using abstract types to make it impossible to use ↵Eduardo Julian2018-07-102-136/+141
| | | | dictionary functions on them.
* - Re-named "struct" to "structure".Eduardo Julian2018-07-107-52/+50
|
* - Re-named "struct:" to "structure:".Eduardo Julian2018-07-1069-204/+204
|
* - Re-named "sig:" to "signature:".Eduardo Julian2018-07-1021-24/+24
|
* - Fixes: Part 3.Eduardo Julian2018-07-092-110/+105
|
* - Fixes: Part 2.Eduardo Julian2018-07-0917-82/+82
|
* - Fixes: Part 1.Eduardo Julian2018-07-094-9/+5
|
* - Fixes: Part 0.Eduardo Julian2018-07-093-43/+29
|
* - Ported caching machinery for Lux Meta-Compiler to stdlib.Eduardo Julian2018-07-0811-300/+355
|
* - Moved LuxC's I/O to stdlib.Eduardo Julian2018-07-086-238/+408
| | | - Improved "lux/world/file".
* - Moved the type-based value representation of the REPL into the standard ↵Eduardo Julian2018-07-072-199/+201
| | | | library.
* - Implemented document archiving. It will play a crucial role later when ↵Eduardo Julian2018-07-071-0/+87
| | | | LuxC (Lux compiler) turns into LuxMC (Lux Meta-Compiler).
* - Implemented ":share" macro for easier type-sharing when casting.Eduardo Julian2018-07-072-3/+26
|
* - Improved syntax for functions.Eduardo Julian2018-07-074-67/+63
|
* - Improved syntax for pattern-matching.Eduardo Julian2018-07-076-449/+435
|
* - Binary (de)serialization module.Eduardo Julian2018-07-054-45/+237
|
* - Re-named "equality" to "equivalence".Eduardo Julian2018-07-05123-545/+534
|
* - Removed "alias:" due to the potential for introducing confusion due to ↵Eduardo Julian2018-07-047-43/+25
| | | | having multiple names for the same definitions.
* - Re-named "degree" to "revolution".Eduardo Julian2018-07-0474-593/+507
|
* - Re-named Bound to Paremeter.Eduardo Julian2018-07-0423-166/+166
|
* - Deleted useless old LuxC tests.Eduardo Julian2018-07-044-1056/+0
|
* - Test (and fix) that global-reference analysis only allows you to see ↵Eduardo Julian2018-07-043-30/+94
| | | | definitions within your current module, or exports from imported modules.
* - When a method/constructor is not found, the signatures of alternatives ↵Eduardo Julian2018-07-045-109/+177
| | | | with the same name are shown as hints, for easier debugging
* - "with-stack" function for stacking exceptions.Eduardo Julian2018-07-045-51/+52
|
* - "lux/data/text/buffer" module, with platform-specific implementations of ↵Eduardo Julian2018-07-041-0/+72
| | | | code using text-buffer abstractions for fast text concatenation.
* - Implemented ":cast" macro, and used it to implement both ":abstraction" ↵Eduardo Julian2018-07-048-102/+123
| | | | | and ":representation". - Fix: You shouldn't be able to resolve tags if you haven't imported a module (even if they are exported).
* - Implemented not-a-number and both infinities in pure Lux.Eduardo Julian2018-07-0415-141/+7
|
* - Can now refine random generators.Eduardo Julian2018-07-031-0/+13
|
* - Improved abstract types.Eduardo Julian2018-07-0310-107/+50
| | | - Got rid of "lux noop" translations.
* - Improved syntax for numeric literals by allowing arbitrary zeroes (0) at ↵Eduardo Julian2018-07-032-11/+9
| | | | the front of numbers.
* - Re-named "stream" to "sequence".Eduardo Julian2018-07-033-46/+46
| | | - Updated copyright dates for lux-mode.
* - Re-named "sequence" to "row".Eduardo Julian2018-07-0314-149/+148
|
* - Re-named "import" to "import:".Eduardo Julian2018-07-0348-252/+252
|
* - Re-named "Ref" to "Refined".Eduardo Julian2018-07-031-10/+10
|
* - Removed "lux/math/constructive".Eduardo Julian2018-07-032-257/+0
|
* - Re-named "@abstraction" to ":abstraction" and "@representation" to ↵Eduardo Julian2018-07-0326-289/+289
| | | | ":representation".
* - Re-named ":!" to ":coerce".Eduardo Julian2018-07-0379-625/+625
|
* - Added function for updating dictionary.Eduardo Julian2018-07-031-0/+6
|
* - Re-named ":!!" to ":assume".Eduardo Julian2018-07-037-11/+11
|