aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
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
2017-12-25- Added module for predicates.Eduardo Julian1-0/+3
- Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro.
2017-12-05- Brought luxc and new-luxc closer together.Eduardo Julian1-8/+8
2017-12-05- Added analysis, synthesis, translation and statement extensions.Eduardo Julian1-17/+21
- No longer doing ad-hoc I/O in new-luxc. - Minor fixes and adjustments.
2017-12-04- Re-named "Def" to "Definition".Eduardo Julian1-37/+37
2017-12-03- Fixed some small issues uncovered by new-luxc.Eduardo Julian1-7/+7
2017-12-02- Added some ~! to some macros to stop them from imposing dependencies.Eduardo Julian1-0/+6
- Added some code to "lux.type" so it can handle "lux in-module".
2017-12-02- "gensym" went back to producing Code, instead of Ident.Eduardo Julian1-63/+59
2017-12-02- Added context-sensitive macro-expansion by means of "lux in-module", and ↵Eduardo Julian1-132/+68
removed all the (now unnecessary) #hidden tags. - Fixed a bug when loading the imports from the cache. - Added special notation for context-sensitive macro-expansion.