aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Re-named "Binary" type to "Format".Eduardo Julian2018-07-213-34/+34
|
* "^open" and "open:" now use aliases instead of prefixes, the same way as ↵Eduardo Julian2018-07-20166-506/+494
| | | | module aliases.
* No longer giving default aliases to un-prefixed imports.Eduardo Julian2018-07-20216-1756/+1802
|
* Small fix for Scheme compilation.Eduardo Julian2018-07-191-2/+2
|
* WIP: Fix new-luxc's JVM back-end. [Part 2]Eduardo Julian2018-07-196-262/+268
|
* Improvements to lux-mode.Eduardo Julian2018-07-181-66/+65
|
* WIP: Fix new-luxc's JVM back-end.Eduardo Julian2018-07-1820-896/+962
|
* - Fixed synthesis code.Eduardo Julian2018-07-168-171/+167
|
* Switched to using new bit syntax in new-luxc.Eduardo Julian2018-07-1445-265/+265
|
* - New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian2018-07-14123-817/+840
| | | - Small improvements to lux-mode.
* Re-named "Bool" type to "Bit".Eduardo Julian2018-07-13213-971/+992
|
* - Re-named "lux/data/bit" to "lux/data/number/i64".Eduardo Julian2018-07-1312-124/+131
|
* - Fixes for compiler build [part 0].Eduardo Julian2018-07-1348-1815/+1883
|
* - Removed "lux text hash" extension.Eduardo Julian2018-07-1117-69/+27
|
* - Removed stale machinery for "lux int min" and "lux int max".Eduardo Julian2018-07-1112-111/+5
|
* - Got rid of "lux text replace-once" and "lux text replace-all" extensions.Eduardo Julian2018-07-1119-292/+115
|
* - Re-named "lux/macro/poly.this" to "exactly" and "lux/macro/poly.like" to ↵Eduardo Julian2018-07-116-44/+44
| | | | "similar".
* - Re-naming some functions in "lux/language/type/check".Eduardo Julian2018-07-112-7/+7
|
* - 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 20:29:12 +0000