aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* - Added custom equalities for a variety of collections.Eduardo Julian2017-05-072-18/+55
|
* - Added "while" and "do-while" loops for stateful computations.Eduardo Julian2017-05-071-0/+16
| | | - Improved tests for lux/control/state.
* - Renamed "AST" to "Code".Eduardo Julian2017-05-0738-681/+681
|
* - Changed the name of "let%" to "with-expansions".Eduardo Julian2017-05-079-143/+159
|
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-0712-512/+512
|
* - Fully implemented Deg encoding/decoding in pure Lux.Eduardo Julian2017-05-072-44/+95
| | | - No longer relying in LuxRT-supported implementations.
* - Implemented Deg encoding.Eduardo Julian2017-05-051-9/+170
|
* - Removed the "Debug" compiler mode.Eduardo Julian2017-05-041-13/+9
|
* - zip and zip-with are now parameterized with Nats.Eduardo Julian2017-05-041-25/+27
|
* - Removed the "S" suffix from AST tags.Eduardo Julian2017-05-0312-524/+524
|
* - Small refactorings.Eduardo Julian2017-05-031-16/+10
| | | - Added the width of bit-patterns.
* - Moved lux/data/error/exception to lux/control/exception.Eduardo Julian2017-05-031-0/+0
|
* - Gave less cryptic names to bit-wise functions.Eduardo Julian2017-05-034-54/+60
| | | - Improved the tests for lux/data/bit.
* - Changes the types of a few compiler-state components.Eduardo Julian2017-05-031-9/+6
|
* - Changed the way Scope works, to make it independent from the notion of ↵Eduardo Julian2017-05-012-26/+40
| | | | | 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 Julian2017-04-302-15/+15
|
* - Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian2017-04-305-172/+227
|
* - Small refactorings and fixes.Eduardo Julian2017-04-308-65/+98
| | | - Added <|. macro.
* - Small refactorings.Eduardo Julian2017-04-152-2/+3
|
* - Added a new way to sequentially combine text lexers.Eduardo Julian2017-04-141-0/+7
|
* - Fixed the way "program:" CLI params are specified.Eduardo Julian2017-04-141-8/+21
| | | - Added before/after combinators to lux/cli.
* - Simplified some of the documentation and error messages.Eduardo Julian2017-04-1226-69/+69
|
* - The XML header is now parsed optionally.Eduardo Julian2017-04-121-1/+1
|
* - Fused the lux/compiler and lux/macro modules.Eduardo Julian2017-04-1136-838/+838
|
* - Move the modules under lux/function/* to be under lux/control/*.Eduardo Julian2017-04-105-3/+3
|
* - Move the structures for the Free monad into lux/control/monad.Eduardo Julian2017-04-102-59/+59
|
* - Renamed "LambdaT" to "FunctionT".Eduardo Julian2017-04-106-83/+83
|
* - Renamed _lux_lambda to _lux_function.Eduardo Julian2017-04-102-73/+73
|
* - Renamed "lambda" to "function".Eduardo Julian2017-04-1050-794/+796
|
* - Renamed lambda' and lambda'' to function' and function''.Eduardo Julian2017-04-101-613/+613
|
* - Some refactoring about continuations.Eduardo Julian2017-04-091-1/+1
|
* - Added delimited continuations, with static shifting.Eduardo Julian2017-04-091-10/+24
|
* - Improved the implementation of continuations.Eduardo Julian2017-04-082-60/+66
|
* - 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 ↵Eduardo Julian2017-04-081-1/+2
| | | | of its body type).
* - Added XML support.Eduardo Julian2017-04-061-0/+264
|
* - Renamed lux/data/text;replace to replace-all.Eduardo Julian2017-04-065-72/+83
| | | - Did some refactorings for lexers.
* - 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-061-15/+258
| | | - Added octal codec for degs.
* - Added binary and hexadecimal syntax for degs.Eduardo Julian2017-04-051-3/+39
|
* - Added binary, octal and hexadecimal codecs for ints.Eduardo Julian2017-04-051-132/+110
| | | | - 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 Julian2017-04-058-77/+46
| | | | | | | | | 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 Julian2017-04-053-0/+99
|
* - :: can now be used to refer to sub-structures within a structure.Eduardo Julian2017-04-045-43/+57
|
* - Priority-queues and sequences can now be empty.Eduardo Julian2017-04-032-153/+242
|
* - Renamed lux/codata/* to lux/function/* and moved the ↵Eduardo Julian2017-04-0315-16/+10
| | | | lux/codata/coll/stream to lux/data/coll/stream.
* - Implemented Int encoding/decoding in the standard library.Eduardo Julian2017-04-0316-188/+239
| | | | | - Moved some type-constructors for building functor types into the lux/control/functor module. - Renamed Ord to Order. - Renamed Env to Reader.
* - Some refactorings, new types & functions, and moved the lux/effect module ↵Eduardo Julian2017-04-017-57/+90
| | | | to lux/control/effect.
* - Added a macro for pattern-matching using regular-expressions.Eduardo Julian2017-04-011-2/+25
|
* - Nat encoding/decoding is now implemented in the standard library.Eduardo Julian2017-03-302-5/+79
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-14 04:24:46 +0000