aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/control (follow)
Commit message (Expand)AuthorAgeFilesLines
* No more escaping of new-line.Eduardo Julian2018-08-233-11/+11
* No more escaping of double-quotes.Eduardo Julian2018-08-232-2/+2
* No more multi-line text.Eduardo Julian2018-08-224-12/+8
* Some small improvements and fixes.Eduardo Julian2018-08-051-2/+6
* Moved "Array" type back into "lux/data/collection/array".Eduardo Julian2018-08-031-1/+1
* Now implementing box functionality in stdlib instead of the compiler.Eduardo Julian2018-07-311-17/+29
* Removed temporary "|" prefix on Nat.Eduardo Julian2018-07-288-25/+25
* Added "+" sign to positive Int.Eduardo Julian2018-07-283-34/+34
* Temporary commit to get rid of "+" signs for Nat.Eduardo Julian2018-07-288-25/+25
* Re-named "seq" to "and" and "alt" to "or".Eduardo Julian2018-07-215-16/+16
* Re-named "Symbol" to "Identifier".Eduardo Julian2018-07-214-13/+13
* "^open" and "open:" now use aliases instead of prefixes, the same way as modu...Eduardo Julian2018-07-2010-24/+24
* No longer giving default aliases to un-prefixed imports.Eduardo Julian2018-07-2013-53/+62
* WIP: Fix new-luxc's JVM back-end.Eduardo Julian2018-07-181-5/+0
* - New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian2018-07-145-7/+7
* Re-named "Bool" type to "Bit".Eduardo Julian2018-07-1310-51/+51
* - Improvements to import syntax [part 2].Eduardo Julian2018-07-1124-124/+158
* - Improvements to import syntax [part 1].Eduardo Julian2018-07-117-12/+12
* - Improvements to import syntax [part 0].Eduardo Julian2018-07-1020-50/+50
* - Re-named path "lux/data/coll/*" to "lux/data/collection/*".Eduardo Julian2018-07-108-9/+9
* - Re-organized dictionary & set modules a bit.Eduardo Julian2018-07-101-1/+1
* - Re-named "struct" to "structure".Eduardo Julian2018-07-104-45/+43
* - Re-named "struct:" to "structure:".Eduardo Julian2018-07-1013-34/+34
* - Re-named "sig:" to "signature:".Eduardo Julian2018-07-1014-14/+14
* - Ported caching machinery for Lux Meta-Compiler to stdlib.Eduardo Julian2018-07-081-0/+6
* - Moved LuxC's I/O to stdlib.Eduardo Julian2018-07-081-0/+5
* - Improved syntax for pattern-matching.Eduardo Julian2018-07-072-10/+10
* - Binary (de)serialization module.Eduardo Julian2018-07-051-1/+11
* - Re-named "equality" to "equivalence".Eduardo Julian2018-07-054-13/+13
* - Removed "alias:" due to the potential for introducing confusion due to havi...Eduardo Julian2018-07-042-13/+9
* - Re-named "degree" to "revolution".Eduardo Julian2018-07-041-12/+12
* - Re-named Bound to Paremeter.Eduardo Julian2018-07-041-3/+3
* - "with-stack" function for stacking exceptions.Eduardo Julian2018-07-041-15/+38
* - Minor refactorings.Eduardo Julian2018-06-142-3/+3
* - WIP: Migrated synthesis to stdlib.Eduardo Julian2018-05-261-5/+5
* - Minor improvements.Eduardo Julian2018-05-231-1/+1
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-207-14/+14
* - Migrated structure analysis to stdlib.Eduardo Julian2018-05-161-1/+21
* - Added dedicated unicode support for text.Eduardo Julian2018-05-131-7/+22
* - Re-named ".../eq" modules to ".../equality".Eduardo Julian2018-05-135-5/+9
* - Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian2018-05-134-9/+9
* - Removed Void and Unit as kinds of types.Eduardo Julian2018-05-057-14/+14
* - Changed the syntax for the parameters of "syntax:".Eduardo Julian2018-05-024-24/+33
* - Made the names of all exceptions lower-case.Eduardo Julian2018-05-022-4/+4
* - Added function for folding using monoids.Eduardo Julian2018-05-021-7/+14
* - Re-named "Applicative" to "Apply".Eduardo Julian2018-05-0210-58/+58
* - Moved the "wrap" function into Monad, and removed Applicative from Monad's ...Eduardo Julian2018-05-0211-133/+169
* - Re-organized set modules.Eduardo Julian2018-05-011-1/+1
* - Re-named lux/control/cont to lux/control/continuation.Eduardo Julian2018-05-011-0/+0
* - Improved the syntax for the "lux.function" macro.Eduardo Julian2018-04-0514-121/+125
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-28 02:19:06 +0000