lux - fork of https://github.com/LuxLang/lux for my bookshelf

	Commit message (Collapse)	Author	Files	Lines
2017-12-31	- Added bit-sets.	Eduardo Julian	1	-0/+13

2017-12-25	- Added module for predicates.	Eduardo Julian	1	-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 Julian	1	-8/+8

2017-12-05	- Added analysis, synthesis, translation and statement extensions.	Eduardo Julian	1	-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 Julian	1	-37/+37

2017-12-03	- Fixed some small issues uncovered by new-luxc.	Eduardo Julian	1	-7/+7

2017-12-02	- Added some ~! to some macros to stop them from imposing dependencies.	Eduardo Julian	1	-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 Julian	1	-63/+59

2017-12-02	- Added context-sensitive macro-expansion by means of "lux in-module", and ↵	Eduardo Julian	1	-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 Julian	1	-7/+13
	analysing an expression.
2017-12-01	- Changed some of the syntax for macro templating.	Eduardo Julian	1	-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 Julian	1	-2/+2

2017-11-29	- Changed the identifier separator, from the semi-colon (;) to the ↵	Eduardo Julian	1	-2124/+2132
	period/dot (.).
2017-11-28	- Re-named the "." function to "compose" and moved it to lux/function.	Eduardo Julian	1	-8/+8

2017-11-27	- Changed the syntax involved in JVM host-interop.	Eduardo Julian	1	-9/+3

2017-11-27	- Got rid of even more dots.	Eduardo Julian	1	-8/+8

2017-11-27	- Changed the prefixes of numeric functions.	Eduardo Julian	1	-98/+98

2017-11-26	- Changed to the new relative imports syntax.	Eduardo Julian	1	-102/+104

2017-11-21	- Fixed some bugs.	Eduardo Julian	1	-304/+305
	- Some small refactoring.
2017-11-14	- Modified the syntax for module definitions.	Eduardo Julian	1	-1/+1
	- Fixed some bugs.
2017-11-14	- Made "lux text clip" work like it used to.	Eduardo Julian	1	-8/+2

2017-11-14	- Fixed some bugs.	Eduardo Julian	1	-15/+42
	- new-luxc can now fully compile lux.lux!
2017-11-14	- Removed "lux text last-index" procedure.	Eduardo Julian	1	-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 Julian	1	-32/+31
	- Fixed some bugs.
2017-11-12	- Fixed some bugs.	Eduardo Julian	1	-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 Julian	1	-86/+86

2017-10-31	- "^code" can now be used as a normal macro, when pattern-matching using the ↵	Eduardo Julian	1	-1/+6
	"^" macro.
2017-10-31	- Now, all special forms are handled as procedures.	Eduardo Julian	1	-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 Julian	1	-0/+76

2017-10-30	- Added "lux check type" to old compiler.	Eduardo Julian	1	-9/+9

2017-10-26	- Added a new piece of compiler state, just for storing the current-module.	Eduardo Julian	1	-36/+40

2017-10-26	- "primitive" macro can now handle primitives as text.	Eduardo Julian	1	-0/+6

2017-10-26	- WIP: Wiring everything to get the compiler to work fully.	Eduardo Julian	1	-2/+2
	- Fixed a bug when combining field/method/class modifiers.
2017-10-25	- Changed the way some special forms work.	Eduardo Julian	1	-1957/+1957

2017-10-20	- Re-named "Host" to "Primitive".	Eduardo Julian	1	-28/+28

2017-10-19	- Implemented an more comfortable alternative to "with-expansions".	Eduardo Julian	1	-4/+61

2017-10-17	- Added "for" macro to specify platform-dependent code.	Eduardo Julian	1	-18/+57
	- Some refactoring/re-naming.
2017-10-16	- Re-named "Lux" type to "Meta".	Eduardo Julian	1	-222/+222
	- Moved lux/type/* under lux/meta/*.
2017-10-16	- Re-named "Meta" type to "Ann".	Eduardo Julian	1	-91/+91

2017-10-16	- Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.	Eduardo Julian	1	-3/+3

2017-10-16	- Moved Array type to lux.lux.	Eduardo Julian	1	-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 Julian	1	-987/+1086
	definition annotations.
2017-09-19	- Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵	Eduardo Julian	1	-110/+110
	"identity").
2017-09-19	- Some refactoring.	Eduardo Julian	1	-6/+2
	- Moved "assume" and "default" to lux/data/maybe.
2017-09-19	- Added "when" function (great for piping).	Eduardo Julian	1	-2/+9

2017-09-04	- $_ and _$ macros now handle better "operator" code that is a form. e.g.	Eduardo Julian	1	-6/+12
	($_ (::: +) 1 2 3) => (::: + 1 (::: + 2 3)) instead of ((::: +) 1 ((::: +) 2 3))
2017-09-04	- Re-named "real" numbers to "frac"(tions).	Eduardo Julian	1	-46/+46

2017-08-22	- Small fixes and refactorings.	Eduardo Julian	1	-1/+1

2017-08-02	- Re-implemented polytypic matchers in terms of lux/control/parser.	Eduardo Julian	1	-1/+1

2017-07-15	- Can now generate Eq instances for #rec-style recursive types.	Eduardo Julian	1	-2/+2
	- Minor refactorings.