Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | - Eliminated the Anns and Ann-Value types, and now only using Code for ↵ | Eduardo Julian | 2017-10-11 | 1 | -56/+56 | |
| | | | | definition annotations. | |||||
* | - Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵ | Eduardo Julian | 2017-09-19 | 3 | -29/+29 | |
| | | | | "identity"). | |||||
* | - Some refactoring. | Eduardo Julian | 2017-09-19 | 1 | -6/+4 | |
| | | | - Moved "assume" and "default" to lux/data/maybe. | |||||
* | - XML parsing. | Eduardo Julian | 2017-09-19 | 1 | -23/+117 | |
| | ||||||
* | - Simplified code for JSON format. | Eduardo Julian | 2017-09-04 | 3 | -656/+326 | |
| | | | - Moved JSON polytypism to the lux/macro/poly/* branch. | |||||
* | - Simple types are no longer matched by their names, but by the types ↵ | Eduardo Julian | 2017-09-04 | 1 | -8/+8 | |
| | | | | themselves. | |||||
* | - Re-named "real" numbers to "frac"(tions). | Eduardo Julian | 2017-09-04 | 4 | -27/+27 | |
| | ||||||
* | - Added HTML-generation module. | Eduardo Julian | 2017-08-30 | 2 | -0/+145 | |
| | | | - Added CSS-generation module. | |||||
* | - Added context/config variables, and their parsers (a.k.a. properties). | Eduardo Julian | 2017-08-22 | 1 | -0/+34 | |
| | | | - Added a way to obtain a program's environment variables. | |||||
* | - Small refactorings and fixes. | Eduardo Julian | 2017-08-10 | 1 | -12/+66 | |
| | ||||||
* | - Moved "codec" from lux/data/text/lexer to lux/control/parser. | Eduardo Julian | 2017-08-05 | 1 | -2/+2 | |
| | ||||||
* | - Re-implemented polytypic matchers in terms of lux/control/parser. | Eduardo Julian | 2017-08-02 | 1 | -163/+138 | |
| | ||||||
* | - Removed polytipic text-encoders. | Eduardo Julian | 2017-08-01 | 1 | -188/+62 | |
| | | | - Simplified a lot of polytypism. | |||||
* | - Broken down lux/data/format/json module into smaller family of modules. | Eduardo Julian | 2017-08-01 | 3 | -891/+732 | |
| | | | - Re-implemented JSON parsing in terms of lux/control/parser. | |||||
* | - Added formatters for JSON, XML and time types. | Eduardo Julian | 2017-07-31 | 2 | -72/+70 | |
| | ||||||
* | - Removed the "M" suffix from monadic functions. | Eduardo Julian | 2017-07-22 | 1 | -93/+93 | |
| | ||||||
* | - Polytypic JSON codec can now handle #rec-style recursive types. | Eduardo Julian | 2017-07-16 | 1 | -59/+130 | |
| | ||||||
* | - Can now generate Eq instances for #rec-style recursive types. | Eduardo Julian | 2017-07-15 | 2 | -50/+56 | |
| | | | - Minor refactorings. | |||||
* | - Lux no longer has a Char primitive data-type. | Eduardo Julian | 2017-07-02 | 2 | -58/+2 | |
| | ||||||
* | - Lexers now carry an offset which they use to figure out where to extract ↵ | Eduardo Julian | 2017-07-01 | 2 | -5/+5 | |
| | | | | | parts of the whole input, instead of having to clip the input as they lex. thereby doing a lot of unnecessary text allocations. - Some refactoring. | |||||
* | - Text no longer has a codec (because the decoding didn't handle unicode ↵ | Eduardo Julian | 2017-07-01 | 1 | -11/+11 | |
| | | | | escaping). | |||||
* | - CLI, Syntax and Lexer are now based upon a common Parser type. | Eduardo Julian | 2017-06-21 | 2 | -180/+170 | |
| | ||||||
* | - JSON polytypic generator checks for (Dict Text ?) instead of (List [Text ?]). | Eduardo Julian | 2017-06-19 | 2 | -180/+136 | |
| | | | - Lexers now rely only on Text, instead of also relying on Char. | |||||
* | - Implemented Real<->Bits conversion (and used it to implement Hash<Real>). | Eduardo Julian | 2017-05-23 | 1 | -1/+1 | |
| | ||||||
* | - Renamed "Error" to "Result". | Eduardo Julian | 2017-05-17 | 2 | -116/+116 | |
| | ||||||
* | - Small fixes and refactorings. | Eduardo Julian | 2017-05-09 | 1 | -8/+8 | |
| | ||||||
* | - Renamed "AST" to "Code". | Eduardo Julian | 2017-05-07 | 1 | -28/+28 | |
| | ||||||
* | - Changed the name of "let%" to "with-expansions". | Eduardo Julian | 2017-05-07 | 1 | -27/+29 | |
| | ||||||
* | - Removed the "S" suffix from AST tags. | Eduardo Julian | 2017-05-03 | 1 | -8/+8 | |
| | ||||||
* | - Simplified some of the documentation and error messages. | Eduardo Julian | 2017-04-12 | 1 | -5/+5 | |
| | ||||||
* | - The XML header is now parsed optionally. | Eduardo Julian | 2017-04-12 | 1 | -1/+1 | |
| | ||||||
* | - Fused the lux/compiler and lux/macro modules. | Eduardo Julian | 2017-04-11 | 1 | -10/+10 | |
| | ||||||
* | - Renamed "lambda" to "function". | Eduardo Julian | 2017-04-10 | 2 | -44/+44 | |
| | ||||||
* | - Added XML support. | Eduardo Julian | 2017-04-06 | 1 | -0/+264 | |
| | ||||||
* | - Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵ | Eduardo Julian | 2017-04-05 | 1 | -1/+2 | |
| | | | | | | | | | 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. | |||||
* | - Renamed lux/codata/* to lux/function/* and moved the ↵ | Eduardo Julian | 2017-04-03 | 1 | -1/+0 | |
| | | | | lux/codata/coll/stream to lux/data/coll/stream. | |||||
* | - Changed the license from MPL 2.0 to MIT. | Eduardo Julian | 2017-01-26 | 1 | -5/+0 | |
| | ||||||
* | - Moved the lux/data/struct/* modules to lux/data/coll/*. | Eduardo Julian | 2017-01-25 | 1 | -11/+11 | |
| | | | | | | | - Did the same for the lux/codata/struct/* modules. - Moved lux/codata/io to lux/io. - Moved lux/control/effect to lux/effect. - Renamed "sample" functions to "this" functions. - Renamed "at" functions to "nth" functions. | |||||
* | - Renamed lux/data/struct/tree to lux/data/struct/tree/rose. | Eduardo Julian | 2017-01-25 | 1 | -5/+5 | |
| | | | | | | - Moved lux/data/struct/zipper to lux/data/struct/tree/zipper. - Moved lux/regex to lux/lexer/regex. - Changed the suffix of annotation tags, from M to A. - Renamed Frac(tional) numbers to Deg(rees). | |||||
* | - Minor refactorings and additions. | Eduardo Julian | 2017-01-12 | 1 | -4/+4 | |
| | ||||||
* | - Updated documentation for lux/data/format/json. | Eduardo Julian | 2017-01-04 | 1 | -35/+102 | |
| | | | - Minor refactorings. | |||||
* | - Fixed a bug when parsing JSON numbers. | Eduardo Julian | 2016-12-22 | 1 | -9/+16 | |
| | ||||||
* | - Added tests for lux/macro/poly/* | Eduardo Julian | 2016-12-17 | 1 | -17/+34 | |
| | ||||||
* | - Updated lux/pipe, lux/lexer and lux/regex tests. | Eduardo Julian | 2016-12-14 | 1 | -10/+10 | |
| | ||||||
* | - No longer using record syntax in certain macros. | Eduardo Julian | 2016-12-12 | 1 | -2/+2 | |
| | ||||||
* | - Added tests for lux/math/ratio and lux/math/simple. | Eduardo Julian | 2016-12-12 | 1 | -1/+1 | |
| | | | | - Some minor refactorings. - Ratios now work with nats instead of ints. | |||||
* | - Minor refactorings and expansions. | Eduardo Julian | 2016-12-04 | 1 | -24/+24 | |
| | ||||||
* | - Changed the names of math op functions to make them more consistent and ↵ | Eduardo Julian | 2016-12-02 | 1 | -4/+4 | |
| | | | | similar. | |||||
* | - Bug fixes, refactorings and minor expansions. | Eduardo Julian | 2016-12-01 | 1 | -36/+34 | |
| | | | | - Added tests for lux/data/error/exception. - Update tests for lux/data/format/json. | |||||
* | - Collected the Lux compiler's repo, the Standard Library's, the Leiningen ↵ | Eduardo Julian | 2016-12-01 | 1 | -0/+1031 | |
plugin's and the Emacs mode's into a big monorepo, to keep development unified. |