aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* - Made some changes in the way the parser works.Eduardo Julian2017-05-032-89/+86
* - WIP: Some initial implementations for some re-written infrastructure.Eduardo Julian2017-05-0117-70/+1109
* - Changed the way Scope works, to make it independent from the notion of Anal...Eduardo Julian2017-05-015-34/+56
* - Renamed fields of scopes.Eduardo Julian2017-04-306-30/+30
* - Separated the analysis of definitions from the analysis of variables.Eduardo Julian2017-04-307-23/+12
* - Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian2017-04-307-200/+276
* - Small refactorings and fixes.Eduardo Julian2017-04-308-65/+98
* - Added <|. to syntax highlights.Eduardo Julian2017-04-301-2/+2
* - Fixed a bug when parsing constructor arguments.Eduardo Julian2017-04-301-0/+1
* - Improved the precision of (Deg)ree division.Eduardo Julian2017-04-172-12/+65
* - Some refactorings.Eduardo Julian2017-04-152-111/+317
* - Fixed a bug with multi-line comments.Eduardo Julian2017-04-152-59/+81
* - Fixed some bugs.Eduardo Julian2017-04-152-38/+106
* - Small refactorings.Eduardo Julian2017-04-152-2/+3
* - Fixed some bugs.Eduardo Julian2017-04-141-33/+60
* - The lexer now takes cursors into account.Eduardo Julian2017-04-142-119/+230
* - Added a new way to sequentially combine text lexers.Eduardo Julian2017-04-141-0/+7
* - Added tests for parser.Eduardo Julian2017-04-143-1/+94
* - Initial parser implementation (still missing correct cursors and multi-line...Eduardo Julian2017-04-142-2/+207
* - Development of the new re-written compiler has officially begun!Eduardo Julian2017-04-142-0/+96
* - Fixed the way "program:" CLI params are specified.Eduardo Julian2017-04-141-8/+21
* - Simplified some of the documentation and error messages.Eduardo Julian2017-04-1227-77/+69
* - The XML header is now parsed optionally.Eduardo Julian2017-04-121-1/+1
* - Removed CHECKCASTs related to make_none and make_some.Eduardo Julian2017-04-122-19/+12
* - Fused the lux/compiler and lux/macro modules.Eduardo Julian2017-04-1140-843/+842
* - Move the modules under lux/function/* to be under lux/control/*.Eduardo Julian2017-04-1011-20/+20
* - Move the structures for the Free monad into lux/control/monad.Eduardo Julian2017-04-102-59/+59
* - Renamed "LambdaT" to "FunctionT".Eduardo Julian2017-04-1015-114/+114
* - Renamed _lux_lambda to _lux_function.Eduardo Julian2017-04-1011-134/+133
* - Renamed "lambda" to "function".Eduardo Julian2017-04-1070-860/+867
* - Renamed lambda' and lambda'' to function' and function''.Eduardo Julian2017-04-101-613/+613
* - Some refactoring about continuations.Eduardo Julian2017-04-092-59/+52
* - Added delimited continuations, with static shifting.Eduardo Julian2017-04-092-49/+93
* - Improved the implementation of continuations.Eduardo Julian2017-04-083-68/+88
* - Improved the way the message is shown when the tests are done running.Eduardo Julian2017-04-081-3/+3
* - Fixed a bug in the way the Rec macro worked (it didn't update the indices o...Eduardo Julian2017-04-081-1/+2
* - Added XML support.Eduardo Julian2017-04-063-1/+332
* - Renamed lux/data/text;replace to replace-all.Eduardo Julian2017-04-066-73/+84
* - Made some changes to (rose) trees and zippers.Eduardo Julian2017-04-062-28/+65
* - Added binary, octal and hexadecimal codecs for reals.Eduardo Julian2017-04-062-30/+277
* - Added binary and hexadecimal syntax for degs.Eduardo Julian2017-04-052-7/+45
* - Added binary, octal and hexadecimal codecs for ints.Eduardo Julian2017-04-052-151/+120
* - Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and lux/data/tex...Eduardo Julian2017-04-0561-231/+180
* - Implemented a few comonads.Eduardo Julian2017-04-053-0/+99
* - Made some improvements to error messages in the compiler.Eduardo Julian2017-04-0526-128/+144
* - :: can now be used to refer to sub-structures within a structure.Eduardo Julian2017-04-045-43/+57
* MERGEDEduardo Julian2017-04-030-0/+0
|\
| * - Persistent queues and sequences can now be empty.Eduardo Julian2017-04-034-184/+268
* | - Priority-queues and sequences can now be empty.Eduardo Julian2017-04-035-185/+269
|/
* - Renamed lux/codata/* to lux/function/* and moved the lux/codata/coll/stream...Eduardo Julian2017-04-0346-63/+31