aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* - 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
* - Re-implemented sets using abstract types to make it impossible to use dicti...Eduardo Julian2018-07-102-136/+141
* - 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-17 04:07:13 +0000