aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* No more multi-line text.Eduardo Julian2018-08-221-386/+383
|
* - Added single-line comment parsing.Eduardo Julian2018-08-211-1/+1
| | | | - Added tag parsing. - Added tracking.
* Some refactoring.Eduardo Julian2018-08-201-2/+2
|
* - Fixed ordering issue with Lux arithmetic extensions.Eduardo Julian2018-08-201-12/+10
| | | - Fixed naming issue with extensions.
* Various fixes.Eduardo Julian2018-08-161-20/+20
|
* 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
| | | - Fixed some bugs.
* 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 ↵Eduardo Julian2018-07-201-64/+49
| | | | module aliases.
* 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
| | | - Small improvements to lux-mode.
* 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
| | | - Expanded binary format module.
* - 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 ↵Eduardo Julian2018-07-041-12/+0
| | | | having multiple names for the same definitions.
* - 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" ↵Eduardo Julian2018-07-041-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).
* - 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
| | | - Removed some modules that should have been deleted before.
* - 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
| | | - Added an easy way to define aliases.
* - Re-named "Compiler" type to "Lux".Eduardo Julian2018-05-101-12/+12
|