aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* 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
|
* - 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
| | | - Changed the value of "unit" in the old LuxC to match the one in new-luxc.
* 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
|
* - Re-named "is" to "is?".Eduardo Julian2018-04-051-3/+3
|
* - Small additions.Eduardo Julian2018-02-071-4/+16
|
* - Small refactorings.Eduardo Julian2018-01-031-0/+13
|
* - Added bit-sets.Eduardo Julian2017-12-311-0/+13
|
* - Added module for predicates.Eduardo Julian2017-12-251-0/+3
| | | | | - Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro.
* - Brought luxc and new-luxc closer together.Eduardo Julian2017-12-051-8/+8
|