aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2018-08-22No more multi-line text.Eduardo Julian1-386/+383
2018-08-21- Added single-line comment parsing.Eduardo Julian1-1/+1
2018-08-20Some refactoring.Eduardo Julian1-2/+2
2018-08-20- Fixed ordering issue with Lux arithmetic extensions.Eduardo Julian1-12/+10
2018-08-16Various fixes.Eduardo Julian1-20/+20
2018-08-15Fixes for pattern-matching/case synthesis & translation.Eduardo Julian1-5/+5
2018-08-11Moved interpreter (REPL) code to stdlib.Eduardo Julian1-3/+3
2018-08-08- Re-defined the relationship between analysis and evaluation.Eduardo Julian1-5/+5
2018-08-05Some small improvements and fixes.Eduardo Julian1-2/+4
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 modu...Eduardo Julian1-64/+49
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
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
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 havi...Eduardo Julian1-12/+0
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" and...Eduardo Julian1-0/+9
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
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
2018-05-10- Re-named "Compiler" type to "Lux".Eduardo Julian1-12/+12