Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Added thunks (lazy evaluation). | Eduardo Julian | 2017-01-25 | 1 | -0/+38 |
| | |||||
* | - Moved the lux/data/struct/* modules to lux/data/coll/*. | Eduardo Julian | 2017-01-25 | 46 | -175/+181 |
| | | | | | | | - 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. | ||||
* | - Added a module for continuous logic. | Eduardo Julian | 2017-01-25 | 1 | -0/+44 |
| | |||||
* | - Renamed lux/data/struct/tree to lux/data/struct/tree/rose. | Eduardo Julian | 2017-01-25 | 21 | -302/+309 |
| | | | | | | - 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). | ||||
* | - Can reverse vectors now. | Eduardo Julian | 2017-01-17 | 1 | -0/+7 |
| | |||||
* | - Added some extra text lexers. | Eduardo Julian | 2017-01-17 | 1 | -24/+39 |
| | |||||
* | - Added some type combinators for type constructors. | Eduardo Julian | 2017-01-17 | 1 | -0/+9 |
| | |||||
* | - Simplified the macros for asking about or ensuring AST tokens. | Eduardo Julian | 2017-01-12 | 8 | -102/+103 |
| | |||||
* | - lux/math/simple macros can now work with more than 2 args at a time. | Eduardo Julian | 2017-01-12 | 1 | -115/+24 |
| | |||||
* | - Added a module for tainting data. | Eduardo Julian | 2017-01-12 | 1 | -0/+30 |
| | |||||
* | - Minor refactorings and additions. | Eduardo Julian | 2017-01-12 | 4 | -95/+121 |
| | |||||
* | - Fixed a lot of errors in the documentation. | Eduardo Julian | 2017-01-06 | 10 | -71/+74 |
| | |||||
* | - Gave custom tags to Error, instead of basing Error on Either. | Eduardo Julian | 2017-01-06 | 1 | -17/+18 |
| | |||||
* | - Renamed lux/math/random to lux/random. | Eduardo Julian | 2017-01-06 | 2 | -1/+1 |
| | |||||
* | - Now returning full module information, instead of just module names. | Eduardo Julian | 2017-01-06 | 1 | -2/+1 |
| | |||||
* | - Moved the template: macro to the lux module. | Eduardo Julian | 2017-01-04 | 2 | -32/+114 |
| | |||||
* | - Updated documentation for lux/data/format/json. | Eduardo Julian | 2017-01-04 | 1 | -35/+102 |
| | | | - Minor refactorings. | ||||
* | - Updated the documentation of most modules left. | Eduardo Julian | 2017-01-04 | 52 | -347/+786 |
| | | | - Minor refactorings. | ||||
* | - Updated documentation for lux/cli, lux/compiler, lux/codata/*. | Eduardo Julian | 2017-01-02 | 9 | -39/+110 |
| | |||||
* | - Simple refactorings. | Eduardo Julian | 2017-01-02 | 1 | -82/+178 |
| | | | - Updated documentation of lux module. | ||||
* | - Can make definitions that have meta-data but no type. | Eduardo Julian | 2017-01-01 | 2 | -23/+30 |
| | | | - Added a temporary "fix" to be able to access derived structs from the ::: macro, while a better solution is found. | ||||
* | - ::: can now work with arbitrary higher-order structures. | Eduardo Julian | 2016-12-29 | 1 | -31/+43 |
| | |||||
* | - ::: now has support for second-order structure selection. | Eduardo Julian | 2016-12-29 | 3 | -26/+99 |
| | |||||
* | - Fixed a bug with struct auto selection (couldn't handle mixes of vars and ↵ | Eduardo Julian | 2016-12-28 | 1 | -8/+8 |
| | | | | | expressions). - Added a test of whether the "Functor::map" function can be auto-selected. | ||||
* | - Fixed the bug that caused some commits to be lost. | Eduardo Julian | 2016-12-28 | 1 | -22/+59 |
| | |||||
* | - Now, it's possible to omit the module-prefix from the names of member ↵ | Eduardo Julian | 2016-12-27 | 2 | -2/+42 |
| | | | | functions/constants in struct auto-selection. | ||||
* | - Added easy number formatters for binary, octal and hexadecimal numbers at ↵ | Eduardo Julian | 2016-12-27 | 1 | -0/+3 |
| | | | | lux/data/text/format. | ||||
* | - Now, only using underscores (_) as number digit separators, without using ↵ | Eduardo Julian | 2016-12-25 | 1 | -2/+1 |
| | | | | commas (,). | ||||
* | - Fixed a bug where the Frac max value was getting confused with the min value. | Eduardo Julian | 2016-12-25 | 1 | -4/+4 |
| | | | - Updated the lux/data/number tests. | ||||
* | - Fixed a bug in the way hierarchy->base demotion worked for Dict nodes. | Eduardo Julian | 2016-12-22 | 2 | -21/+23 |
| | | | - Fixed a bug in a test for lux/data/struct/list. | ||||
* | - Updated tests for lux/cli and lux/math/ratio. | Eduardo Julian | 2016-12-22 | 1 | -1/+1 |
| | |||||
* | - Fixed a bug when parsing JSON numbers. | Eduardo Julian | 2016-12-22 | 1 | -9/+16 |
| | |||||
* | - Won't be testing call/cc for now. | Eduardo Julian | 2016-12-22 | 1 | -1/+4 |
| | |||||
* | - Correct failure signal (1) when tests fail. | Eduardo Julian | 2016-12-21 | 1 | -18/+39 |
| | | | - Now showing how many tests failed or succeeded. | ||||
* | - Can specify how many times a property-based/generative test is supposed to ↵ | Eduardo Julian | 2016-12-21 | 1 | -15/+25 |
| | | | | run. | ||||
* | - Updated tests and fixed code for lux/math/complex, lux/math/ratio. | Eduardo Julian | 2016-12-20 | 1 | -1/+1 |
| | |||||
* | - lux/test can now handle thrown exceptions better. | Eduardo Julian | 2016-12-20 | 2 | -21/+35 |
| | | | - lux/test supports specifying seeds to run tests on. | ||||
* | - Improved tests (and added fixes) for lux/data/struct/vector, lux/type and ↵ | Eduardo Julian | 2016-12-20 | 2 | -6/+5 |
| | | | | lux/data/ident. | ||||
* | - Fixed a bug when updating the value of a STM var. | Eduardo Julian | 2016-12-19 | 1 | -1/+1 |
| | | | - Refactored the tests for lux/concurrency/stm. | ||||
* | - Improved the way tests are run. | Eduardo Julian | 2016-12-19 | 1 | -19/+21 |
| | | | - Refactored lux/regex tests a bit. | ||||
* | - Added tests for the monad transformers for Error, Maybe, State, List and Env. | Eduardo Julian | 2016-12-18 | 5 | -6/+12 |
| | |||||
* | - Better formatting for types and lists. | Eduardo Julian | 2016-12-18 | 2 | -8/+13 |
| | |||||
* | - Tested monad transformer for Error. | Eduardo Julian | 2016-12-18 | 1 | -1/+1 |
| | |||||
* | - Fixed a bug in the way effect-handling worked. | Eduardo Julian | 2016-12-18 | 1 | -25/+32 |
| | | | - Added tests for lux/control/effect. | ||||
* | - Bug fixes and refactorings for algebraic effects. | Eduardo Julian | 2016-12-18 | 2 | -44/+80 |
| | |||||
* | - Added tests for lux/macro/poly/* | Eduardo Julian | 2016-12-17 | 6 | -111/+198 |
| | |||||
* | - Added the type-of macro. | Eduardo Julian | 2016-12-17 | 1 | -14/+24 |
| | |||||
* | - Some small refactorings. | Eduardo Julian | 2016-12-17 | 2 | -54/+103 |
| | |||||
* | - Updated tests for lux/type. | Eduardo Julian | 2016-12-15 | 6 | -39/+99 |
| | | | - Added tests for lux/type/check and lux/type/auto. | ||||
* | - Updated tests for lux/macro/ast and lux/macro/syntax. | Eduardo Julian | 2016-12-14 | 1 | -1/+1 |
| | | | - Added tests for lux/macro/template. |