aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* - 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 havi...Eduardo Julian2018-07-041-12/+0
* - 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" and...Eduardo Julian2018-07-041-0/+9
* - 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
* - 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
* - 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
* 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
* - 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
* - 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
* - "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 re...Eduardo Julian2017-12-021-132/+68
* - Added new "lux in-module" procedure for changing the module while analysing...Eduardo Julian2017-12-021-7/+13
* - Changed some of the syntax for macro templating.Eduardo Julian2017-12-011-288/+297
* - Made it so that module annotations can only be set once now.Eduardo Julian2017-12-011-2/+2
* - Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian2017-11-291-2124/+2132
* - Re-named the "." function to "compose" and moved it to lux/function.Eduardo Julian2017-11-281-8/+8
* - Changed the syntax involved in JVM host-interop.Eduardo Julian2017-11-271-9/+3
* - Got rid of even more dots.Eduardo Julian2017-11-271-8/+8
* - Changed the prefixes of numeric functions.Eduardo Julian2017-11-271-98/+98
* - Changed to the new relative imports syntax.Eduardo Julian2017-11-261-102/+104
* - Fixed some bugs.Eduardo Julian2017-11-211-304/+305
* - Modified the syntax for module definitions.Eduardo Julian2017-11-141-1/+1
* - Made "lux text clip" work like it used to.Eduardo Julian2017-11-141-8/+2
* - Fixed some bugs.Eduardo Julian2017-11-141-15/+42
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 16:05:57 +0000