aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
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
- Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro.
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
- No longer doing ad-hoc I/O in new-luxc. - Minor fixes and adjustments.
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
- Added some code to "lux.type" so it can handle "lux in-module".
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 ↵Eduardo Julian1-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.
2017-12-02- Added new "lux in-module" procedure for changing the module while ↵Eduardo Julian1-7/+13
analysing an expression.
2017-12-01- Changed some of the syntax for macro templating.Eduardo Julian1-288/+297
- "gensym" now produces Ident instead of Code.
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 ↵Eduardo Julian1-2124/+2132
period/dot (.).
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
- Some small refactoring.
2017-11-14- Modified the syntax for module definitions.Eduardo Julian1-1/+1
- Fixed some bugs.
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
- new-luxc can now fully compile lux.lux!
2017-11-14- Removed "lux text last-index" procedure.Eduardo Julian1-40/+54
- Removed "lux text trim" procedure. - Modified "lux text clip" procedure. - Some bug fixes.
2017-11-13- Type-vars no longer get deleted.Eduardo Julian1-32/+31
- Fixed some bugs.
2017-11-12- Fixed some bugs.Eduardo Julian1-279/+280
- Improved error reporting. - Optimized pattern-matching a bit.
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
"^" macro.
2017-10-31- Now, all special forms are handled as procedures.Eduardo Julian1-1143/+1143
- "lux case" now takes its branches as a non-empty record.
2017-10-30- Added "^code" pattern-matching macro for easier handling of code.Eduardo Julian1-0/+76
2017-10-30- Added "lux check type" to old compiler.Eduardo Julian1-9/+9
2017-10-26- Added a new piece of compiler state, just for storing the current-module.Eduardo Julian1-36/+40
2017-10-26- "primitive" macro can now handle primitives as text.Eduardo Julian1-0/+6
2017-10-26- WIP: Wiring everything to get the compiler to work fully.Eduardo Julian1-2/+2
- Fixed a bug when combining field/method/class modifiers.
2017-10-25- Changed the way some special forms work.Eduardo Julian1-1957/+1957
2017-10-20- Re-named "Host" to "Primitive".Eduardo Julian1-28/+28
2017-10-19- Implemented an more comfortable alternative to "with-expansions".Eduardo Julian1-4/+61
2017-10-17- Added "for" macro to specify platform-dependent code.Eduardo Julian1-18/+57
- Some refactoring/re-naming.
2017-10-16- Re-named "Lux" type to "Meta".Eduardo Julian1-222/+222
- Moved lux/type/* under lux/meta/*.
2017-10-16- Re-named "Meta" type to "Ann".Eduardo Julian1-91/+91
2017-10-16- Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian1-3/+3
2017-10-16- Moved Array type to lux.lux.Eduardo Julian1-0/+4
- Re-named some array functions. - Minor refactorings.
2017-10-11- Eliminated the Anns and Ann-Value types, and now only using Code for ↵Eduardo Julian1-987/+1086
definition annotations.
2017-09-19- Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵Eduardo Julian1-110/+110
"identity").
2017-09-19- Some refactoring.Eduardo Julian1-6/+2
- Moved "assume" and "default" to lux/data/maybe.
2017-09-19- Added "when" function (great for piping).Eduardo Julian1-2/+9
2017-09-04- $_ and _$ macros now handle better "operator" code that is a form. e.g.Eduardo Julian1-6/+12
($_ (::: +) 1 2 3) => (::: + 1 (::: + 2 3)) instead of ((::: +) 1 ((::: +) 2 3))
2017-09-04- Re-named "real" numbers to "frac"(tions).Eduardo Julian1-46/+46
2017-08-22- Small fixes and refactorings.Eduardo Julian1-1/+1
2017-08-02- Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian1-1/+1