aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* - 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
* - Removed "lux text last-index" procedure.Eduardo Julian2017-11-141-40/+54
* - Type-vars no longer get deleted.Eduardo Julian2017-11-131-32/+31
* - Fixed some bugs.Eduardo Julian2017-11-121-279/+280
* - Changed how Lux procedures work on the old compiler and the stdlib.Eduardo Julian2017-11-061-86/+86
* - "^code" can now be used as a normal macro, when pattern-matching using the ...Eduardo Julian2017-10-311-1/+6
* - Now, all special forms are handled as procedures.Eduardo Julian2017-10-311-1143/+1143
* - Added "^code" pattern-matching macro for easier handling of code.Eduardo Julian2017-10-301-0/+76
* - Added "lux check type" to old compiler.Eduardo Julian2017-10-301-9/+9
* - Added a new piece of compiler state, just for storing the current-module.Eduardo Julian2017-10-261-36/+40
* - "primitive" macro can now handle primitives as text.Eduardo Julian2017-10-261-0/+6
* - WIP: Wiring everything to get the compiler to work fully.Eduardo Julian2017-10-261-2/+2
* - Changed the way some special forms work.Eduardo Julian2017-10-251-1957/+1957
* - Re-named "Host" to "Primitive".Eduardo Julian2017-10-201-28/+28
* - Implemented an more comfortable alternative to "with-expansions".Eduardo Julian2017-10-191-4/+61
* - Added "for" macro to specify platform-dependent code.Eduardo Julian2017-10-171-18/+57
* - Re-named "Lux" type to "Meta".Eduardo Julian2017-10-161-222/+222
* - Re-named "Meta" type to "Ann".Eduardo Julian2017-10-161-91/+91
* - Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian2017-10-161-3/+3
* - Moved Array type to lux.lux.Eduardo Julian2017-10-161-0/+4
* - Eliminated the Anns and Ann-Value types, and now only using Code for defini...Eduardo Julian2017-10-111-987/+1086
* - Changed the terminology of monoids ("append" -> "compose", "unit" -> "ident...Eduardo Julian2017-09-191-110/+110
* - Some refactoring.Eduardo Julian2017-09-191-6/+2
* - Added "when" function (great for piping).Eduardo Julian2017-09-191-2/+9
* - $_ and _$ macros now handle better "operator" code that is a form. e.g.Eduardo Julian2017-09-041-6/+12
* - Re-named "real" numbers to "frac"(tions).Eduardo Julian2017-09-041-46/+46
* - Small fixes and refactorings.Eduardo Julian2017-08-221-1/+1
* - Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian2017-08-021-1/+1
* - Can now generate Eq instances for #rec-style recursive types.Eduardo Julian2017-07-151-2/+2
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-021-122/+84