aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (unfollow)
Commit message (Expand)AuthorFilesLines
2018-07-28Removed temporary "|" prefix on Nat.Eduardo Julian76-1149/+1140
2018-07-28Added "+" sign to positive Int.Eduardo Julian27-499/+522
2018-07-28Temporary commit to get rid of "+" signs for Nat.Eduardo Julian76-1094/+1094
2018-07-21Re-named "seq" to "and" and "alt" to "or".Eduardo Julian35-171/+171
2018-07-21Re-named "name-for" to "name-of".Eduardo Julian9-19/+19
2018-07-21Re-named "Symbol" to "Identifier".Eduardo Julian37-446/+446
2018-07-21Added macros for specifying implicits either at the module level, or at the l...Eduardo Julian1-19/+45
2018-07-21Got rid of Object-Oriented Programming modules.Eduardo Julian3-756/+50
2018-07-21Re-named "Ident" to "Name".Eduardo Julian32-355/+349
2018-07-21- Re-named "Compiler" to "Phase".Eduardo Julian56-132/+142
2018-07-21Refactoring & improvements to "lux/macro/poly".Eduardo Julian5-54/+75
2018-07-21Moved "lux/language/type/*" to "lux/type/*".Eduardo Julian24-216/+184
2018-07-21Re-named "lux/world/blob" to "lux/world/binary".Eduardo Julian9-131/+124
2018-07-21Re-named "Binary" type to "Format".Eduardo Julian3-34/+34
2018-07-20"^open" and "open:" now use aliases instead of prefixes, the same way as modu...Eduardo Julian101-297/+285
2018-07-20No longer giving default aliases to un-prefixed imports.Eduardo Julian138-1294/+1407
2018-07-19Small fix for Scheme compilation.Eduardo Julian1-2/+2
2018-07-19WIP: Fix new-luxc's JVM back-end. [Part 2]Eduardo Julian2-13/+20
2018-07-18WIP: Fix new-luxc's JVM back-end.Eduardo Julian6-53/+137
2018-07-16- Fixed synthesis code.Eduardo Julian4-82/+74
2018-07-14- New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian61-418/+430
2018-07-13Re-named "Bool" type to "Bit".Eduardo Julian92-462/+468
2018-07-13- Re-named "lux/data/bit" to "lux/data/number/i64".Eduardo Julian9-117/+123
2018-07-13- Fixes for compiler build [part 0].Eduardo Julian36-1627/+1668
2018-07-11- Removed "lux text hash" extension.Eduardo Julian2-4/+24
2018-07-11- Removed stale machinery for "lux int min" and "lux int max".Eduardo Julian1-3/+0
2018-07-11- Got rid of "lux text replace-once" and "lux text replace-all" extensions.Eduardo Julian5-63/+104
2018-07-11- Re-named "lux/macro/poly.this" to "exactly" and "lux/macro/poly.like" to "s...Eduardo Julian6-44/+44
2018-07-11- Re-naming some functions in "lux/language/type/check".Eduardo Julian2-7/+7
2018-07-11- Re-named "type-of" to ":of".Eduardo Julian2-4/+4
2018-07-11- Improvements to import syntax [part 2].Eduardo Julian164-1631/+1905
2018-07-11- Improvements to import syntax [part 1].Eduardo Julian97-354/+348
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian151-590/+570
2018-07-10- Implemented multi-sets.Eduardo Julian1-0/+152
2018-07-10- Re-named path "lux/lang/*" to "lux/language/*".Eduardo Julian67-135/+135
2018-07-10- Re-named "lux/world/env" to "lux/world/environment".Eduardo Julian1-2/+2
2018-07-10- Re-named path "lux/data/coll/*" to "lux/data/collection/*".Eduardo Julian104-163/+160
2018-07-10- Re-organized dictionary & set modules a bit.Eduardo Julian36-39/+39
2018-07-10- Re-named "Dict" type to "Dictionary".Eduardo Julian32-93/+93
2018-07-10- Ported caching machinery for default compiler.Eduardo Julian5-33/+153
2018-07-10- Re-implemented sets using abstract types to make it impossible to use dicti...Eduardo Julian2-136/+141
2018-07-10- Re-named "struct" to "structure".Eduardo Julian7-52/+50
2018-07-10- Re-named "struct:" to "structure:".Eduardo Julian67-201/+201
2018-07-10- Re-named "sig:" to "signature:".Eduardo Julian19-22/+22
2018-07-09- Fixes: Part 3.Eduardo Julian1-1/+1
2018-07-09- Fixes: Part 2.Eduardo Julian14-74/+72
2018-07-09- Fixes: Part 1.Eduardo Julian3-8/+4
2018-07-08- Ported caching machinery for Lux Meta-Compiler to stdlib.Eduardo Julian8-50/+355
2018-07-08- Moved LuxC's I/O to stdlib.Eduardo Julian5-117/+408
2018-07-07- Moved the type-based value representation of the REPL into the standard lib...Eduardo Julian1-0/+197
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-28 06:12:54 +0000