aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2018-07-14- New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian1-127/+135
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
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 havi...Eduardo Julian1-12/+0
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" and...Eduardo Julian1-0/+9
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
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
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
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
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
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
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 re...Eduardo Julian1-132/+68
2017-12-02- Added new "lux in-module" procedure for changing the module while analysing...Eduardo Julian1-7/+13
2017-12-01- Changed some of the syntax for macro templating.Eduardo Julian1-288/+297
2017-12-01- Made it so that module annotations can only be set once now.Eduardo Julian1-2/+2