aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* - 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
|
* - Added analysis, synthesis, translation and statement extensions.Eduardo Julian2017-12-051-17/+21
| | | | - No longer doing ad-hoc I/O in new-luxc. - Minor fixes and adjustments.
* - Re-named "Def" to "Definition".Eduardo Julian2017-12-041-37/+37
|
* - Fixed some small issues uncovered by new-luxc.Eduardo Julian2017-12-031-7/+7
|
* - Added some ~! to some macros to stop them from imposing dependencies.Eduardo Julian2017-12-021-0/+6
| | | - Added some code to "lux.type" so it can handle "lux in-module".
* - "gensym" went back to producing Code, instead of Ident.Eduardo Julian2017-12-021-63/+59
|
* - Added context-sensitive macro-expansion by means of "lux in-module", and ↵Eduardo Julian2017-12-021-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.
* - Added new "lux in-module" procedure for changing the module while ↵Eduardo Julian2017-12-021-7/+13
| | | | analysing an expression.
* - Changed some of the syntax for macro templating.Eduardo Julian2017-12-011-288/+297
| | | - "gensym" now produces Ident instead of Code.
* - Made it so that module annotations can only be set once now.Eduardo Julian2017-12-011-2/+2
|