aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (unfollow)
Commit message (Expand)AuthorFilesLines
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
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian1-2124/+2132
2017-11-28- Re-named the "." function to "compose" and moved it to lux/function.Eduardo Julian1-8/+8
2017-11-27- Changed the syntax involved in JVM host-interop.Eduardo Julian1-9/+3
2017-11-27- Got rid of even more dots.Eduardo Julian1-8/+8
2017-11-27- Changed the prefixes of numeric functions.Eduardo Julian1-98/+98
2017-11-26- Changed to the new relative imports syntax.Eduardo Julian1-102/+104
2017-11-21- Fixed some bugs.Eduardo Julian1-304/+305
2017-11-14- Modified the syntax for module definitions.Eduardo Julian1-1/+1
2017-11-14- Made "lux text clip" work like it used to.Eduardo Julian1-8/+2
2017-11-14- Fixed some bugs.Eduardo Julian1-15/+42
2017-11-14- Removed "lux text last-index" procedure.Eduardo Julian1-40/+54
2017-11-13- Type-vars no longer get deleted.Eduardo Julian1-32/+31
2017-11-12- Fixed some bugs.Eduardo Julian1-279/+280
2017-11-06- Changed how Lux procedures work on the old compiler and the stdlib.Eduardo Julian1-86/+86
2017-10-31- "^code" can now be used as a normal macro, when pattern-matching using the ...Eduardo Julian1-1/+6
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 16:19:04 +0000