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

	Commit message (Expand)	Author	Age	Files	Lines
*	- Replaced the term "total" with "exhaustive".	Eduardo Julian	2017-09-07	2	-28/+28
*	- Updated new compiler's code to the recent changes in the language.	Eduardo Julian	2017-09-05	6	-100/+100
*	- Tested the compilation for "nat" procedures.	Eduardo Julian	2017-07-03	1	-32/+32
*	- Renamed "#Relative" to "#Variable" and "#Absolute" to "#Definition".	Eduardo Julian	2017-07-02	1	-2/+2
*	- Adjusted compiler to the new lack of Char type.	Eduardo Julian	2017-07-02	3	-4/+1
*	- WIP: Added generation for common procedures.	Eduardo Julian	2017-06-30	1	-3/+2
*	- Adapted compiler to the latest stdlib changes.	Eduardo Julian	2017-06-27	4	-18/+16
*	- Added loop synthesis.	Eduardo Julian	2017-06-09	1	-4/+4
*	- Implemented some synthesis algorithms and tests for primitives, structures,...	Eduardo Julian	2017-05-31	2	-55/+5
*	- Documented the analysis phase.	Eduardo Julian	2017-05-30	8	-500/+641
*	- Some refactoring.	Eduardo Julian	2017-05-30	2	-40/+38
*	- Fixes for pattern-matching (case) analysis.	Eduardo Julian	2017-05-29	7	-366/+381
*	- Renamed ^=> to ^multi.	Eduardo Julian	2017-05-24	1	-8/+8
*	- Simplified the analytic model of tuples into products, and variants into sums.	Eduardo Julian	2017-05-20	2	-68/+90
*	WIP	Eduardo Julian	2017-05-20	4	-166/+269
*	- Some refactoring.	Eduardo Julian	2017-05-20	3	-19/+32
*	- WIP: Added pattern-matching (case) analysis.	Eduardo Julian	2017-05-19	4	-75/+580
*	- Renamed "Error" to "Result".	Eduardo Julian	2017-05-17	3	-6/+3
*	WIP	Eduardo Julian	2017-05-15	9	-451/+828
*	- WIP: Function analysis.	Eduardo Julian	2017-05-14	1	-1/+143
*	- Added tests for some kinds of analysis.	Eduardo Julian	2017-05-09	3	-32/+30
*	- Renamed "AST" to "Code".	Eduardo Julian	2017-05-07	1	-8/+8
*	- Removed "T" suffix from Type's tags.	Eduardo Julian	2017-05-07	2	-6/+6
*	- WIP: Implemented more functionality.	Eduardo Julian	2017-05-03	2	-0/+333