aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* Updating new-luxc to latest Lux changes [Part 1].Eduardo Julian2018-07-3011-384/+459
* Updating new-luxc to latest Lux changes [Part 0].Eduardo Julian2018-07-308-231/+242
* Adapted new-luxc to some of the latest changes to Lux.Eduardo Julian2018-07-2913-243/+214
* Moved evaluation machinery from new-luxc to stdlib.Eduardo Julian2018-07-298-24/+49
* Added a caching layer to correlate host-specific names to Lux names.Eduardo Julian2018-07-282-39/+69
* Now providing labels/names for any intermediate definitions that might be nec...Eduardo Julian2018-07-281-3/+8
* Some small fixes for duration text serialization.Eduardo Julian2018-07-281-9/+9
* Merge pull request #46 from LuxLang/change-number-signsThe Lux Programming Language2018-07-28170-2489/+2510
|\
| * Covered some missing bits.Eduardo Julian2018-07-284-12/+12
| * Adjusted lux-mode to the latest syntactic changes.Eduardo Julian2018-07-281-10/+17
| * Removed temporary "|" prefix on Nat.Eduardo Julian2018-07-28152-1729/+1720
| * Added "+" sign to positive Int.Eduardo Julian2018-07-2856-756/+778
| * Temporary commit to get rid of "+" signs for Nat.Eduardo Julian2018-07-28152-1676/+1677
|/
* - Some fixes due to recent changes in stdlib.Eduardo Julian2018-07-2256-1202/+986
* Re-named "seq" to "and" and "alt" to "or".Eduardo Julian2018-07-2149-218/+218
* Re-named "name-for" to "name-of".Eduardo Julian2018-07-2111-28/+28
* Re-named "Symbol" to "Identifier".Eduardo Julian2018-07-2194-744/+743
* Improved syntax-highlighting for Lux.Eduardo Julian2018-07-211-37/+75
* Added macros for specifying implicits either at the module level, or at the l...Eduardo Julian2018-07-211-19/+45
* Got rid of Object-Oriented Programming modules.Eduardo Julian2018-07-216-980/+51
* Re-named "Ident" to "Name".Eduardo Julian2018-07-2142-499/+469
* - Re-named "Compiler" to "Phase".Eduardo Julian2018-07-2168-292/+313
* Refactoring & improvements to "lux/macro/poly".Eduardo Julian2018-07-215-54/+75
* Moved "lux/language/type/*" to "lux/type/*".Eduardo Julian2018-07-2134-236/+199
* Re-named "lux/world/blob" to "lux/world/binary".Eduardo Julian2018-07-2114-174/+167
* 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 modu...Eduardo Julian2018-07-20166-506/+494
* 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
* 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 "s...Eduardo Julian2018-07-116-44/+44
* - 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