aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Fixes for pattern-matching/case synthesis & translation.Eduardo Julian2018-08-151-5/+5
* Moved interpreter (REPL) code to stdlib.Eduardo Julian2018-08-111-3/+3
* - Re-defined the relationship between analysis and evaluation.Eduardo Julian2018-08-081-5/+5
* Some small improvements and fixes.Eduardo Julian2018-08-051-2/+4
* Moved "Array" type back into "lux/data/collection/array".Eduardo Julian2018-08-031-4/+0
* Moved statement phase into stdlib.Eduardo Julian2018-08-021-2/+14
* Covered some missing bits.Eduardo Julian2018-07-281-1/+1
* Removed temporary "|" prefix on Nat.Eduardo Julian2018-07-281-327/+327
* Added "+" sign to positive Int.Eduardo Julian2018-07-281-45/+45
* Temporary commit to get rid of "+" signs for Nat.Eduardo Julian2018-07-281-296/+296
* Re-named "name-for" to "name-of".Eduardo Julian2018-07-211-5/+5
* Re-named "Symbol" to "Identifier".Eduardo Julian2018-07-211-167/+167
* Re-named "Ident" to "Name".Eduardo Julian2018-07-211-118/+112
* "^open" and "open:" now use aliases instead of prefixes, the same way as modu...Eduardo Julian2018-07-201-64/+49
* No longer giving default aliases to un-prefixed imports.Eduardo Julian2018-07-201-22/+14
* - New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian2018-07-141-127/+135
* Re-named "Bool" type to "Bit".Eduardo Julian2018-07-131-94/+94
* - Fixes for compiler build [part 0].Eduardo Julian2018-07-131-36/+23
* - Got rid of "lux text replace-once" and "lux text replace-all" extensions.Eduardo Julian2018-07-111-1/+25
* - Re-named "type-of" to ":of".Eduardo Julian2018-07-111-3/+3
* - Improvements to import syntax [part 2].Eduardo Julian2018-07-111-138/+60
* - Improvements to import syntax [part 1].Eduardo Julian2018-07-111-35/+30
* - Improvements to import syntax [part 0].Eduardo Julian2018-07-101-28/+8
* - Re-named path "lux/data/coll/*" to "lux/data/collection/*".Eduardo Julian2018-07-101-2/+2
* - Ported caching machinery for default compiler.Eduardo Julian2018-07-101-2/+2
* - Re-named "struct" to "structure".Eduardo Julian2018-07-101-2/+2
* - Re-named "struct:" to "structure:".Eduardo Julian2018-07-101-4/+4
* - Re-named "sig:" to "signature:".Eduardo Julian2018-07-101-4/+4
* - Fixes: Part 1.Eduardo Julian2018-07-091-1/+1
* - Improved syntax for functions.Eduardo Julian2018-07-071-56/+52
* - Improved syntax for pattern-matching.Eduardo Julian2018-07-071-422/+408
* - Re-named "equality" to "equivalence".Eduardo Julian2018-07-051-11/+11
* - Removed "alias:" due to the potential for introducing confusion due to havi...Eduardo Julian2018-07-041-12/+0
* - Re-named "degree" to "revolution".Eduardo Julian2018-07-041-71/+71
* - Re-named Bound to Paremeter.Eduardo Julian2018-07-041-50/+50
* - Implemented ":cast" macro, and used it to implement both ":abstraction" and...Eduardo Julian2018-07-041-0/+9
* - Re-named ":!" to ":coerce".Eduardo Julian2018-07-031-5/+5
* - Re-named ":!!" to ":assume".Eduardo Julian2018-07-031-3/+3
* - WIP: Migrated synthesis to stdlib.Eduardo Julian2018-05-261-25/+44
* - Minor improvements.Eduardo Julian2018-05-231-27/+9
* - Minor improvements.Eduardo Julian2018-05-231-2/+13
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-201-46/+46
* - Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian2018-05-131-183/+145
* - Implemented Deg(ree) reciprocal & conversions Deg<->Frac.Eduardo Julian2018-05-121-18/+70
* - Re-named "Compiler" type to "Lux".Eduardo Julian2018-05-101-12/+12
* - Implemented Deg functionality in pure Lux.Eduardo Julian2018-05-071-28/+132
* - Implemented Nat functionality in pure Lux.Eduardo Julian2018-05-061-24/+165
* - Removed Void and Unit as kinds of types.Eduardo Julian2018-05-051-163/+120
* Allow giving names to loops that can be used instead of "recur".Eduardo Julian2018-05-011-29/+46
* - Improved the syntax for the "lux.function" macro.Eduardo Julian2018-04-051-100/+104
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 14:59:32 +0000