aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-08-03Moved "Array" type back into "lux/data/collection/array".Eduardo Julian1-4/+0
2018-08-02Moved statement phase into stdlib.Eduardo Julian1-2/+14
2018-07-28Covered some missing bits.Eduardo Julian1-1/+1
2018-07-28Removed temporary "|" prefix on Nat.Eduardo Julian1-327/+327
2018-07-28Added "+" sign to positive Int.Eduardo Julian1-45/+45
2018-07-28Temporary commit to get rid of "+" signs for Nat.Eduardo Julian1-296/+296
2018-07-21Re-named "name-for" to "name-of".Eduardo Julian1-5/+5
2018-07-21Re-named "Symbol" to "Identifier".Eduardo Julian1-167/+167
2018-07-21Re-named "Ident" to "Name".Eduardo Julian1-118/+112
2018-07-20"^open" and "open:" now use aliases instead of prefixes, the same way as ↵Eduardo Julian1-64/+49
module aliases.
2018-07-20No longer giving default aliases to un-prefixed imports.Eduardo Julian1-22/+14
2018-07-14- New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian1-127/+135
- Small improvements to lux-mode.
2018-07-13Re-named "Bool" type to "Bit".Eduardo Julian1-94/+94
2018-07-13- Fixes for compiler build [part 0].Eduardo Julian1-36/+23
2018-07-11- Got rid of "lux text replace-once" and "lux text replace-all" extensions.Eduardo Julian1-1/+25
2018-07-11- Re-named "type-of" to ":of".Eduardo Julian1-3/+3
2018-07-11- Improvements to import syntax [part 2].Eduardo Julian1-138/+60
2018-07-11- Improvements to import syntax [part 1].Eduardo Julian1-35/+30
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian1-28/+8
2018-07-10- Re-named path "lux/data/coll/*" to "lux/data/collection/*".Eduardo Julian1-2/+2
2018-07-10- Ported caching machinery for default compiler.Eduardo Julian1-2/+2
- Expanded binary format module.
2018-07-10- Re-named "struct" to "structure".Eduardo Julian1-2/+2
2018-07-10- Re-named "struct:" to "structure:".Eduardo Julian1-4/+4
2018-07-10- Re-named "sig:" to "signature:".Eduardo Julian1-4/+4
2018-07-09- Fixes: Part 1.Eduardo Julian1-1/+1
2018-07-07- Improved syntax for functions.Eduardo Julian1-56/+52
2018-07-07- Improved syntax for pattern-matching.Eduardo Julian1-422/+408
2018-07-05- Re-named "equality" to "equivalence".Eduardo Julian1-11/+11
2018-07-04- Removed "alias:" due to the potential for introducing confusion due to ↵Eduardo Julian1-12/+0
having multiple names for the same definitions.
2018-07-04- Re-named "degree" to "revolution".Eduardo Julian1-71/+71
2018-07-04- Re-named Bound to Paremeter.Eduardo Julian1-50/+50
2018-07-04- Implemented ":cast" macro, and used it to implement both ":abstraction" ↵Eduardo Julian1-0/+9
and ":representation". - Fix: You shouldn't be able to resolve tags if you haven't imported a module (even if they are exported).
2018-07-03- Re-named ":!" to ":coerce".Eduardo Julian1-5/+5
2018-07-03- Re-named ":!!" to ":assume".Eduardo Julian1-3/+3
2018-05-26- WIP: Migrated synthesis to stdlib.Eduardo Julian1-25/+44
2018-05-23- Minor improvements.Eduardo Julian1-27/+9
2018-05-23- Minor improvements.Eduardo Julian1-2/+13
2018-05-20- Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian1-46/+46
- Removed some modules that should have been deleted before.
2018-05-13- Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian1-183/+145
2018-05-12- Implemented Deg(ree) reciprocal & conversions Deg<->Frac.Eduardo Julian1-18/+70
- Added an easy way to define aliases.
2018-05-10- Re-named "Compiler" type to "Lux".Eduardo Julian1-12/+12
2018-05-07- Implemented Deg functionality in pure Lux.Eduardo Julian1-28/+132
2018-05-06- Implemented Nat functionality in pure Lux.Eduardo Julian1-24/+165
2018-05-05- Removed Void and Unit as kinds of types.Eduardo Julian1-163/+120
- Changed the value of "unit" in the old LuxC to match the one in new-luxc.
2018-05-01Allow giving names to loops that can be used instead of "recur".Eduardo Julian1-29/+46
2018-04-05- Improved the syntax for the "lux.function" macro.Eduardo Julian1-100/+104
2018-04-05- Re-named "is" to "is?".Eduardo Julian1-3/+3
2018-02-07- Small additions.Eduardo Julian1-4/+16
2018-01-03- Small refactorings.Eduardo Julian1-0/+13
2017-12-31- Added bit-sets.Eduardo Julian1-0/+13