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

	Commit message (Collapse)	Author	Age	Files	Lines
*	- New syntax for bit values: "#0" and "#1", instead of "false" and "true".	Eduardo Julian	2018-07-14	1	-1/+1
\| \| \|	- Small improvements to lux-mode.
*	Re-named "Bool" type to "Bit".	Eduardo Julian	2018-07-13	1	-19/+20
\|
*	- Improvements to import syntax [part 2].	Eduardo Julian	2018-07-11	1	-8/+9
\|
*	- Improvements to import syntax [part 1].	Eduardo Julian	2018-07-11	1	-17/+17
\|
*	- Improvements to import syntax [part 0].	Eduardo Julian	2018-07-10	1	-3/+3
\|
*	- Re-named path "lux/data/coll/" to "lux/data/collection/".	Eduardo Julian	2018-07-10	1	-1/+1
\|
*	- Re-named "struct:" to "structure:".	Eduardo Julian	2018-07-10	1	-1/+1
\|
*	- Re-named "equality" to "equivalence".	Eduardo Julian	2018-07-05	1	-14/+14
\|
*	- Re-named "degree" to "revolution".	Eduardo Julian	2018-07-04	1	-4/+4
\|
*	- Implemented ":cast" macro, and used it to implement both ":abstraction" ↵	Eduardo Julian	2018-07-04	1	-4/+4
\| \| \| \| \|	and ":representation". - Fix: You shouldn't be able to resolve tags if you haven't imported a module (even if they are exported).
*	- Re-named ".../eq" modules to ".../equality".	Eduardo Julian	2018-05-13	1	-1/+1
\| \| \|	- Other minor improvements.
*	- Added new #I64 type as foundation for types based on 64-bit integers.	Eduardo Julian	2018-05-13	1	-1/+1
\|
*	- Improved the syntax for the "lux.function" macro.	Eduardo Julian	2018-04-05	1	-4/+4
\|
*	- Changed the identifier separator, from the semi-colon (;) to the ↵	Eduardo Julian	2017-11-29	1	-55/+55
\| \| \| \|	period/dot (.).
*	- Re-named "lux/meta" to to "lux/macro".	Eduardo Julian	2017-11-15	1	-0/+143
\|
*	- Re-named "Lux" type to "Meta".	Eduardo Julian	2017-10-16	1	-143/+0
\| \| \|	- Moved lux/type/* under lux/meta/*.
*	- Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵	Eduardo Julian	2017-09-19	1	-3/+3
\| \| \| \|	"identity").
*	- Re-named "real" numbers to "frac"(tions).	Eduardo Julian	2017-09-04	1	-4/+4
\|
*	- Can now generate Eq instances for #rec-style recursive types.	Eduardo Julian	2017-07-15	1	-1/+1
\| \| \|	- Minor refactorings.
*	- Lux no longer has a Char primitive data-type.	Eduardo Julian	2017-07-02	1	-5/+0
\|
*	- Text no longer has a codec (because the decoding didn't handle unicode ↵	Eduardo Julian	2017-07-01	1	-1/+3
\| \| \| \|	escaping).
*	- Renamed "AST" to "Code".	Eduardo Julian	2017-05-07	1	-0/+146