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

	Commit message (Collapse)	Author	Age	Files	Lines
*	- Moved all translation code under the JVM path (in preparation for porting ↵	Eduardo Julian	2018-01-08	1	-1/+1
\| \| \| \|	the JS back-end).
*	- Fixed inference involving existentials.	Eduardo Julian	2018-01-04	1	-3/+24
\|
*	- Fixed a bug when analysing empty records.	Eduardo Julian	2017-12-05	1	-0/+4
\|
*	- All analysis procedures have been turned into extensions.	Eduardo Julian	2017-12-05	4	-1692/+5
\|
*	- "gensym" went back to producing Code, instead of Ident.	Eduardo Julian	2017-12-02	1	-4/+3
\|
*	- Added new "lux in-module" procedure for changing the module while ↵	Eduardo Julian	2017-12-02	1	-5/+23
\| \| \| \|	analysing an expression.
*	- Adjusted new-luxc to new macro-templating syntax.	Eduardo Julian	2017-12-02	5	-13/+13
\|
*	- Adapted main codebase to the latest syntatic changes.	Eduardo Julian	2017-11-29	13	-1244/+1244
\|
*	- Changed to the new relative imports syntax.	Eduardo Julian	2017-11-26	3	-7/+7
\|
*	- Fixed some bugs.	Eduardo Julian	2017-11-22	3	-62/+109
\| \| \| \|	- Some refactoring. - Added some alternative snippets of code that new-luxc can handle better.
*	- Fixed some bugs.	Eduardo Julian	2017-11-21	6	-37/+52
\| \| \|	- Some small refactoring.
*	- Added parallel compilation.	Eduardo Julian	2017-11-20	4	-29/+46
\| \| \| \| \|	- Added aliasing. - Several bug fixes. - Some minor refactoring.
*	- Moved "luxc/lang/host/macro" to "luxc/lang/macro".	Eduardo Julian	2017-11-15	1	-2/+2
\|
*	- Re-named "lux/meta" to to "lux/macro".	Eduardo Julian	2017-11-15	12	-180/+180
\|
*	- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".	Eduardo Julian	2017-11-15	11	-18/+18
\|
*	- Moved "luxc/lang/syntax" to "lux/lang/syntax".	Eduardo Julian	2017-11-15	7	-30/+30
\| \| \|	- Minor refactoring.
*	- Moved type-cleaning to lux/meta/type/check.	Eduardo Julian	2017-11-15	1	-2/+3
\|
*	- Heavy refactoring.	Eduardo Julian	2017-11-15	13	-34/+34
\|
*	- Made "lux text clip" work like it used to.	Eduardo Julian	2017-11-14	1	-1/+1
\|
*	- Fixed some bugs.	Eduardo Julian	2017-11-14	1	-1/+1
\| \| \|	- new-luxc can now fully compile lux.lux!
*	- Removed "lux text last-index" procedure.	Eduardo Julian	2017-11-14	2	-24/+53
\| \| \| \| \|	- Removed "lux text trim" procedure. - Modified "lux text clip" procedure. - Some bug fixes.
*	- Yet more refactoring.	Eduardo Julian	2017-11-14	7	-154/+74
\|
*	- More refactoring.	Eduardo Julian	2017-11-13	5	-72/+53
\|
*	- Refactoring.	Eduardo Julian	2017-11-13	10	-462/+441
\| \| \| \|	- Now giving type checking/inference a higher priority. - Better error messages.
*	- Improved handling of type variables.	Eduardo Julian	2017-11-13	3	-19/+64
\|
*	- Type-vars no longer get deleted.	Eduardo Julian	2017-11-13	6	-41/+33
\| \| \|	- Fixed some bugs.
*	- Fixed some bugs.	Eduardo Julian	2017-11-12	4	-39/+63
\| \| \| \|	- Improved error reporting. - Optimized pattern-matching a bit.
*	- Fixed the tests.	Eduardo Julian	2017-11-09	1	-1/+1
\| \| \| \|	- Fixed a few bugs. - Can now translate recursion.
*	- Fixed some bugs.	Eduardo Julian	2017-11-06	2	-9/+12
\|
*	- Minor refactorings.	Eduardo Julian	2017-11-01	2	-31/+3
\| \| \| \|	- Fixed some bugs. - Enabled macro-expansion for statements.
*	- Re-organized code-generation, and re-named it "translation".	Eduardo Julian	2017-11-01	1	-4/+4
\|
*	- Re-organized analysis.	Eduardo Julian	2017-10-31	13	-0/+3191