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

	Commit message (Expand)	Author	Files	Lines
2018-01-08	- Moved all translation code under the JVM path (in preparation for porting t...	Eduardo Julian	1	-1/+1
2018-01-04	- Fixed inference involving existentials.	Eduardo Julian	1	-3/+24
2017-12-05	- Fixed a bug when analysing empty records.	Eduardo Julian	1	-0/+4
2017-12-05	- All analysis procedures have been turned into extensions.	Eduardo Julian	4	-1692/+5
2017-12-02	- "gensym" went back to producing Code, instead of Ident.	Eduardo Julian	1	-4/+3
2017-12-02	- Added new "lux in-module" procedure for changing the module while analysing...	Eduardo Julian	1	-5/+23
2017-12-02	- Adjusted new-luxc to new macro-templating syntax.	Eduardo Julian	5	-13/+13
2017-11-29	- Adapted main codebase to the latest syntatic changes.	Eduardo Julian	13	-1244/+1244
2017-11-26	- Changed to the new relative imports syntax.	Eduardo Julian	3	-7/+7
2017-11-22	- Fixed some bugs.	Eduardo Julian	3	-62/+109
2017-11-21	- Fixed some bugs.	Eduardo Julian	6	-37/+52
2017-11-20	- Added parallel compilation.	Eduardo Julian	4	-29/+46
2017-11-15	- Moved "luxc/lang/host/macro" to "luxc/lang/macro".	Eduardo Julian	1	-2/+2
2017-11-15	- Re-named "lux/meta" to to "lux/macro".	Eduardo Julian	12	-180/+180
2017-11-15	- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".	Eduardo Julian	11	-18/+18
2017-11-15	- Moved "luxc/lang/syntax" to "lux/lang/syntax".	Eduardo Julian	7	-30/+30
2017-11-15	- Moved type-cleaning to lux/meta/type/check.	Eduardo Julian	1	-2/+3
2017-11-15	- Heavy refactoring.	Eduardo Julian	13	-34/+34
2017-11-14	- Made "lux text clip" work like it used to.	Eduardo Julian	1	-1/+1
2017-11-14	- Fixed some bugs.	Eduardo Julian	1	-1/+1
2017-11-14	- Removed "lux text last-index" procedure.	Eduardo Julian	2	-24/+53
2017-11-14	- Yet more refactoring.	Eduardo Julian	7	-154/+74
2017-11-13	- More refactoring.	Eduardo Julian	5	-72/+53
2017-11-13	- Refactoring.	Eduardo Julian	10	-462/+441
2017-11-13	- Improved handling of type variables.	Eduardo Julian	3	-19/+64
2017-11-13	- Type-vars no longer get deleted.	Eduardo Julian	6	-41/+33
2017-11-12	- Fixed some bugs.	Eduardo Julian	4	-39/+63
2017-11-09	- Fixed the tests.	Eduardo Julian	1	-1/+1
2017-11-06	- Fixed some bugs.	Eduardo Julian	2	-9/+12
2017-11-01	- Minor refactorings.	Eduardo Julian	2	-31/+3
2017-11-01	- Re-organized code-generation, and re-named it "translation".	Eduardo Julian	1	-4/+4
2017-10-31	- Re-organized analysis.	Eduardo Julian	13	-0/+3191