aboutsummaryrefslogtreecommitdiff
path: root/stdlib (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* Covered some missing bits.Eduardo Julian2018-07-284-12/+12
* Removed temporary "|" prefix on Nat.Eduardo Julian2018-07-28150-1727/+1718
* Added "+" sign to positive Int.Eduardo Julian2018-07-2855-753/+776
* Temporary commit to get rid of "+" signs for Nat.Eduardo Julian2018-07-28150-1672/+1672
* 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-2110-27/+27
* Re-named "Symbol" to "Identifier".Eduardo Julian2018-07-2144-471/+471
* 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-2141-498/+468
* - 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-192-13/+20
* WIP: Fix new-luxc's JVM back-end.Eduardo Julian2018-07-187-53/+143
* - Fixed synthesis code.Eduardo Julian2018-07-168-171/+167
* - New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian2018-07-14120-757/+769
* Re-named "Bool" type to "Bit".Eduardo Julian2018-07-13128-696/+702
* - 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-1347-2365/+1880
* - Removed "lux text hash" extension.Eduardo Julian2018-07-113-6/+24
* - Removed stale machinery for "lux int min" and "lux int max".Eduardo Julian2018-07-112-10/+1
* - Got rid of "lux text replace-once" and "lux text replace-all" extensions.Eduardo Julian2018-07-116-67/+104
* - 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-113-11/+11
* - 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-105-33/+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-1068-202/+202
* - Re-named "sig:" to "signature:".Eduardo Julian2018-07-1019-22/+22
* - Fixes: Part 3.Eduardo Julian2018-07-092-110/+105
* - Fixes: Part 2.Eduardo Julian2018-07-0917-82/+82
* - Fixes: Part 1.Eduardo Julian2018-07-093-8/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-24 03:05:08 +0000