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

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	- "lux/data/text/buffer" module, with platform-specific implementations of ↵	Eduardo Julian	2018-07-04	1	-0/+72
\| \| \| \|	code using text-buffer abstractions for fast text concatenation.
*	- Implemented ":cast" macro, and used it to implement both ":abstraction" ↵	Eduardo Julian	2018-07-04	7	-100/+121
\| \| \| \| \|	and ":representation". - Fix: You shouldn't be able to resolve tags if you haven't imported a module (even if they are exported).
*	- Implemented not-a-number and both infinities in pure Lux.	Eduardo Julian	2018-07-04	4	-27/+5
\|
*	- Can now refine random generators.	Eduardo Julian	2018-07-03	1	-0/+13
\|
*	- Improved abstract types.	Eduardo Julian	2018-07-03	1	-39/+26
\| \| \|	- Got rid of "lux noop" translations.
*	- Re-named "stream" to "sequence".	Eduardo Julian	2018-07-03	2	-44/+44
\| \| \|	- Updated copyright dates for lux-mode.
*	- Re-named "sequence" to "row".	Eduardo Julian	2018-07-03	13	-148/+147
\|
*	- Re-named "import" to "import:".	Eduardo Julian	2018-07-03	10	-56/+56
\|
*	- Re-named "Ref" to "Refined".	Eduardo Julian	2018-07-03	1	-10/+10
\|
*	- Removed "lux/math/constructive".	Eduardo Julian	2018-07-03	2	-257/+0
\|
*	- Re-named "@abstraction" to ":abstraction" and "@representation" to ↵	Eduardo Julian	2018-07-03	21	-132/+132
\| \| \| \|	":representation".
*	- Re-named ":!" to ":coerce".	Eduardo Julian	2018-07-03	22	-76/+76
\|
*	- Added function for updating dictionary.	Eduardo Julian	2018-07-03	1	-0/+6
\|
*	- Re-named ":!!" to ":assume".	Eduardo Julian	2018-07-03	5	-8/+8
\|
*	- Heavy refactoring to integrate extensions better with the rest of the ↵	Eduardo Julian	2018-06-17	53	-1260/+1172
\| \| \| \|	compiler.
*	- Migrated Scheme back-end to stdlib.	Eduardo Julian	2018-06-17	25	-99/+1911
\|
*	- WIP: Adjustments to new-luxc based on recent changes to stdlib.	Eduardo Julian	2018-06-15	2	-2/+13
\|
*	- Re-named "Special" to "Extension".	Eduardo Julian	2018-06-14	8	-73/+76
\|
*	- Refactored generic compiler infrastructure.	Eduardo Julian	2018-06-14	10	-148/+155
\|
*	- Refactored references.	Eduardo Julian	2018-06-14	13	-135/+147
\|
*	- Minor refactorings.	Eduardo Julian	2018-06-14	6	-30/+48
\|
*	- Migrated synthesis to stdlib.	Eduardo Julian	2018-06-14	11	-323/+661
\|
*	- Added filter/partition functionality to refinement types.	Eduardo Julian	2018-05-26	1	-1/+35
\|
*	- WIP: Migrated synthesis to stdlib.	Eduardo Julian	2018-05-26	18	-62/+1162
\|
*	- Minor improvements.	Eduardo Julian	2018-05-23	4	-54/+57
\|
*	- Minor improvements.	Eduardo Julian	2018-05-23	2	-3/+14
\|
*	- Migrated special-form analysis to stdlib.	Eduardo Julian	2018-05-23	10	-21/+2700
\|
*	- Re-named "Top" to "Any", and "Bottom" to "Nothing".	Eduardo Julian	2018-05-20	61	-252/+252
\| \| \|	- Removed some modules that should have been deleted before.
*	- Migrated pattern-matching analysis to stdlib.	Eduardo Julian	2018-05-20	7	-52/+866
\|
*	- Migrated function analysis to stdlib.	Eduardo Julian	2018-05-16	6	-8/+248
\|
*	- Migrated reference analysis to stdlib.	Eduardo Julian	2018-05-16	5	-5/+291
\|
*	- Migrated structure analysis to stdlib.	Eduardo Julian	2018-05-16	10	-41/+1453
\| \| \|	- Added an easy way to report information in exceptions.
*	- Migrated primitive analysis to stdlib.	Eduardo Julian	2018-05-15	6	-0/+424
\|
*	- Added dedicated unicode support for text.	Eduardo Julian	2018-05-13	17	-169/+466
\| \| \|	- Minor refactoring.
*	- "lux/data/coll/bits" now uses I64 instead of Nat.	Eduardo Julian	2018-05-13	1	-20/+24
\|
*	- Re-named ".../eq" modules to ".../equality".	Eduardo Julian	2018-05-13	50	-53/+57
\| \| \|	- Other minor improvements.
*	- Added new #I64 type as foundation for types based on 64-bit integers.	Eduardo Julian	2018-05-13	83	-825/+805
\|
*	- Implemented Deg(ree) reciprocal & conversions Deg<->Frac.	Eduardo Julian	2018-05-12	3	-23/+83
\| \| \|	- Added an easy way to define aliases.
*	- Some improvements and fixes for stdlib.	Eduardo Julian	2018-05-10	7	-77/+50
\|
*	- Re-named "Compiler" type to "Lux".	Eduardo Julian	2018-05-10	6	-24/+24
\|
*	- Improved tests for Eq(uality) and Blob.	Eduardo Julian	2018-05-09	2	-79/+58
\|
*	- Improved random-generation of Frac numbers.	Eduardo Julian	2018-05-08	1	-8/+1
\|
*	- Improved the way Bool values are parsed.	Eduardo Julian	2018-05-08	2	-39/+33
\|
*	- Re-named "lux process concurrency-level" to "lux process parallelism-level".	Eduardo Julian	2018-05-08	3	-21/+25
\| \| \|	- Merged the functionality of "lux process future" into "lux process schedule".
*	- Improved the way "lux program" is analysed and compiled.	Eduardo Julian	2018-05-08	1	-35/+38
\| \| \|	- Improved the syntax for "program:" arguments.
*	- Went back to the old way of loading classes...	Eduardo Julian	2018-05-07	1	-3/+2
\|
*	- Implemented bit-count in pure Lux.	Eduardo Julian	2018-05-07	2	-15/+29
\|
*	- Implemented Deg functionality in pure Lux.	Eduardo Julian	2018-05-07	6	-137/+202
\|
*	- Implemented Nat functionality in pure Lux.	Eduardo Julian	2018-05-06	4	-30/+171
\|
*	- When loading classes in "lux/host.jvm.lux" using ↵	Eduardo Julian	2018-05-06	1	-1/+2
\| \| \| \|	"java.lang,Class::forName", now using the 3-arg variant of that method to avoid initializing the class when loading it. It helps avoid some problems later on.