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

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	- Changed the way Scope works, to make it independent from the notion of ↵	Eduardo Julian	2017-05-01	5	-34/+56
\| \| \| \| \|	Analysis, and make it easier to port to the new re-written compiler. - Fixed a type-bug when asserting whether a def is being re-defined.
*	- Renamed fields of scopes.	Eduardo Julian	2017-04-30	6	-30/+30
\|
*	- Separated the analysis of definitions from the analysis of variables.	Eduardo Julian	2017-04-30	7	-23/+12
\|
*	- Updated the compiler's type-checking context to match it with lux/type/check.	Eduardo Julian	2017-04-30	7	-200/+276
\|
*	- Small refactorings and fixes.	Eduardo Julian	2017-04-30	8	-65/+98
\| \| \|	- Added <\|. macro.
*	- Added <\|. to syntax highlights.	Eduardo Julian	2017-04-30	1	-2/+2
\| \| \|	- Fixed an indentation bug for "with-" macros.
*	- Fixed a bug when parsing constructor arguments.	Eduardo Julian	2017-04-30	1	-0/+1
\|
*	- Improved the precision of (Deg)ree division.	Eduardo Julian	2017-04-17	2	-12/+65
\|
*	- Some refactorings.	Eduardo Julian	2017-04-15	2	-111/+317
\| \| \|	- Added documentation for luxc/parser.
*	- Fixed a bug with multi-line comments.	Eduardo Julian	2017-04-15	2	-59/+81
\|
*	- Fixed some bugs.	Eduardo Julian	2017-04-15	2	-38/+106
\| \| \|	- Added tests for multi-line text and single-line comments.
*	- Small refactorings.	Eduardo Julian	2017-04-15	2	-2/+3
\|
*	- Fixed some bugs.	Eduardo Julian	2017-04-14	1	-33/+60
\| \| \|	- Implemented multi-line text.
*	- The lexer now takes cursors into account.	Eduardo Julian	2017-04-14	2	-119/+230
\|
*	- Added a new way to sequentially combine text lexers.	Eduardo Julian	2017-04-14	1	-0/+7
\|
*	- Added tests for parser.	Eduardo Julian	2017-04-14	3	-1/+94
\|
*	- Initial parser implementation (still missing correct cursors and ↵	Eduardo Julian	2017-04-14	2	-2/+207
\| \| \| \|	multi-line text).
*	- Development of the new re-written compiler has officially begun!	Eduardo Julian	2017-04-14	2	-0/+96
\|
*	- Fixed the way "program:" CLI params are specified.	Eduardo Julian	2017-04-14	1	-8/+21
\| \| \|	- Added before/after combinators to lux/cli.
*	- Simplified some of the documentation and error messages.	Eduardo Julian	2017-04-12	27	-77/+69
\|
*	- The XML header is now parsed optionally.	Eduardo Julian	2017-04-12	1	-1/+1
\|
*	- Removed CHECKCASTs related to make_none and make_some.	Eduardo Julian	2017-04-12	2	-19/+12
\|
*	- Fused the lux/compiler and lux/macro modules.	Eduardo Julian	2017-04-11	40	-843/+842
\|
*	- Move the modules under lux/function/* to be under lux/control/*.	Eduardo Julian	2017-04-10	11	-20/+20
\|
*	- Move the structures for the Free monad into lux/control/monad.	Eduardo Julian	2017-04-10	2	-59/+59
\|
*	- Renamed "LambdaT" to "FunctionT".	Eduardo Julian	2017-04-10	15	-114/+114
\|
*	- Renamed _lux_lambda to _lux_function.	Eduardo Julian	2017-04-10	11	-134/+133
\|
*	- Renamed "lambda" to "function".	Eduardo Julian	2017-04-10	70	-860/+867
\|
*	- Renamed lambda' and lambda'' to function' and function''.	Eduardo Julian	2017-04-10	1	-613/+613
\|
*	- Some refactoring about continuations.	Eduardo Julian	2017-04-09	2	-59/+52
\|
*	- Added delimited continuations, with static shifting.	Eduardo Julian	2017-04-09	2	-49/+93
\|
*	- Improved the implementation of continuations.	Eduardo Julian	2017-04-08	3	-68/+88
\|
*	- Improved the way the message is shown when the tests are done running.	Eduardo Julian	2017-04-08	1	-3/+3
\|
*	- Fixed a bug in the way the Rec macro worked (it didn't update the indices ↵	Eduardo Julian	2017-04-08	1	-1/+2
\| \| \| \|	of its body type).
*	- Added XML support.	Eduardo Julian	2017-04-06	3	-1/+332
\|
*	- Renamed lux/data/text;replace to replace-all.	Eduardo Julian	2017-04-06	6	-73/+84
\| \| \|	- Did some refactorings for lexers.
*	- Made some changes to (rose) trees and zippers.	Eduardo Julian	2017-04-06	2	-28/+65
\|
*	- Added binary, octal and hexadecimal codecs for reals.	Eduardo Julian	2017-04-06	2	-30/+277
\| \| \|	- Added octal codec for degs.
*	- Added binary and hexadecimal syntax for degs.	Eduardo Julian	2017-04-05	2	-7/+45
\|
*	- Added binary, octal and hexadecimal codecs for ints.	Eduardo Julian	2017-04-05	2	-151/+120
\| \| \| \|	- Generalized the bin, oct and hex macros so they also work with ints (in the future, they will also work with degs and reals). - Binary, octal and hexadecimal nats now have a + sign in front, like normal nats.
*	- Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵	Eduardo Julian	2017-04-05	61	-231/+180
\| \| \| \| \| \| \| \| \|	lux/data/text/regex. - Moved lux/pipe to lux/control/pipe. - Moved the @pre and @post macros to lux/control/contract. - Improved error reporting for lux/type/auto. - Added a test for third-order type-checking for lux/type/auto. - Fixed a bug in the tests for lux/data/coll/vector.
*	- Implemented a few comonads.	Eduardo Julian	2017-04-05	3	-0/+99
\|
*	- Made some improvements to error messages in the compiler.	Eduardo Julian	2017-04-05	26	-128/+144
\|
*	- :: can now be used to refer to sub-structures within a structure.	Eduardo Julian	2017-04-04	5	-43/+57
\|
*	MERGED	Eduardo Julian	2017-04-03	0	-0/+0
\|\
\| *	- Persistent queues and sequences can now be empty.	Eduardo Julian	2017-04-03	4	-184/+268
\| \|
* \|	- Priority-queues and sequences can now be empty.	Eduardo Julian	2017-04-03	5	-185/+269
\|/
*	- Renamed lux/codata/* to lux/function/* and moved the ↵	Eduardo Julian	2017-04-03	46	-63/+31
\| \| \| \|	lux/codata/coll/stream to lux/data/coll/stream.
*	- Removed assume and with-gensyms from the list of special syntax.	Eduardo Julian	2017-04-03	1	-3/+2
\|
*	- Implemented Int encoding/decoding in the standard library.	Eduardo Julian	2017-04-03	26	-324/+299
\| \| \| \| \|	- Moved some type-constructors for building functor types into the lux/control/functor module. - Renamed Ord to Order. - Renamed Env to Reader.