| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to lux/data/... | Eduardo Julian | 2017-07-29 | 2 | -33/+34 |
* | - Added "month" function and improved "day" function. | Eduardo Julian | 2017-07-29 | 1 | -5/+12 |
* | - Small improvement to overlap testing for intervals. | Eduardo Julian | 2017-07-29 | 1 | -16/+16 |
* | - Added annotation support to units and models. | Eduardo Julian | 2017-07-29 | 2 | -2/+7 |
* | - Added dates, and the capacity to calculate week-days. | Eduardo Julian | 2017-07-26 | 2 | -44/+119 |
* | - Improved re-scaling logic and added some SI units. | Eduardo Julian | 2017-07-25 | 1 | -14/+26 |
* | - Added units of measurement as a feature to decorate Int values for safer ca... | Eduardo Julian | 2017-07-25 | 1 | -0/+143 |
* | - Models now only rely on normal (inline) casting functions. Hopefully, in th... | Eduardo Julian | 2017-07-25 | 1 | -16/+8 |
* | - No longer defining hidden casting functions. Instead, inline functions are ... | Eduardo Julian | 2017-07-24 | 1 | -35/+18 |
* | - Refactored Time into Instant and Duration. | Eduardo Julian | 2017-07-24 | 3 | -125/+202 |
* | - Added models as a mechanism to encode nominal types. | Eduardo Julian | 2017-07-24 | 1 | -0/+188 |
* | - Relocated the "object" and "concatenative" modules. | Eduardo Julian | 2017-07-23 | 2 | -4/+5 |
* | - Codec now works on negative times (with respect to the epoch). | Eduardo Julian | 2017-07-23 | 1 | -12/+14 |
* | - Improved reporting on tests. | Eduardo Julian | 2017-07-23 | 1 | -6/+5 |
* | - Added module for time (Codec has currently been tested only for time after ... | Eduardo Julian | 2017-07-23 | 1 | -0/+295 |
* | - Merged the submodules of lux/paradigm/object into their parent module. | Eduardo Julian | 2017-07-22 | 5 | -396/+334 |
* | - Removed the "M" suffix from monadic functions. | Eduardo Julian | 2017-07-22 | 39 | -391/+378 |
* | - Eliminated lux/math/simple. If you want simple math, use lux/type/auto with... | Eduardo Julian | 2017-07-22 | 1 | -306/+0 |
* | - Removed algebraic effects module. If you want effects, just go with finally... | Eduardo Julian | 2017-07-22 | 1 | -344/+0 |
* | - Changed inheritance syntax for interfaces and classes to make it more homog... | Eduardo Julian | 2017-07-22 | 1 | -2/+2 |
* | - Renamed Chan to Channel. | Eduardo Julian | 2017-07-22 | 3 | -53/+53 |
* | - Some utility functions. | Eduardo Julian | 2017-07-22 | 2 | -1/+14 |
* | - Small refactorings and bug fixes. | Eduardo Julian | 2017-07-22 | 6 | -79/+83 |
* | - Polytypic JSON codec can now handle #rec-style recursive types. | Eduardo Julian | 2017-07-16 | 2 | -60/+131 |
* | - Can now generate Eq instances for #rec-style recursive types. | Eduardo Julian | 2017-07-15 | 29 | -113/+160 |
* | - Lux no longer has a Char primitive data-type. | Eduardo Julian | 2017-07-02 | 20 | -373/+154 |
* | - Lexers now carry an offset which they use to figure out where to extract pa... | Eduardo Julian | 2017-07-01 | 4 | -147/+135 |
* | - Text no longer has a codec (because the decoding didn't handle unicode esca... | Eduardo Julian | 2017-07-01 | 6 | -54/+35 |
* | - The bodies of actor messages are run within the Task monad. | Eduardo Julian | 2017-07-01 | 1 | -1/+3 |
* | - Remove the suffixes of "lift" functions for monad transformers. | Eduardo Julian | 2017-07-01 | 9 | -218/+218 |
* | - Added module for concatenative (stack-based) programming. | Eduardo Julian | 2017-06-26 | 1 | -0/+333 |
* | - Some refactoring. | Eduardo Julian | 2017-06-26 | 2 | -25/+25 |
* | - Forgot to commit some of the sub-modules for lux/paradigm/object. | Eduardo Julian | 2017-06-26 | 4 | -0/+351 |
* | - Miscellaneous refactoring. | Eduardo Julian | 2017-06-26 | 7 | -25/+34 |
* | - Messages are now defined outside of the actor definition. | Eduardo Julian | 2017-06-26 | 1 | -129/+209 |
* | - Implemented single-inheritance. | Eduardo Julian | 2017-06-26 | 1 | -170/+218 |
* | - Re-designed actors so that their messages are now functions with access to ... | Eduardo Julian | 2017-06-24 | 5 | -228/+216 |
* | - Renamed lux/control/contract's "@pre" and "@post" to "pre" and "post". | Eduardo Julian | 2017-06-23 | 1 | -6/+6 |
* | - Added #compiler-name back to Compiler-Info. | Eduardo Julian | 2017-06-23 | 1 | -10/+16 |
* | - Added Fold structure for rose trees. | Eduardo Julian | 2017-06-23 | 1 | -2/+10 |
* | - Renamed lux/data/coll/ordered to lux/data/coll/ordered/set. | Eduardo Julian | 2017-06-23 | 2 | -159/+314 |
* | - Renamed "App" to "Apply" and swapped the order of the arguments to it. | Eduardo Julian | 2017-06-21 | 7 | -176/+159 |
* | - CLI, Syntax and Lexer are now based upon a common Parser type. | Eduardo Julian | 2017-06-21 | 27 | -1307/+985 |
* | - Added Task type, as a promise that can fail. | Eduardo Julian | 2017-06-21 | 1 | -0/+51 |
* | - More detailed testing resporting. | Eduardo Julian | 2017-06-19 | 1 | -72/+61 |
* | - In lux/test, renamed "test:" to "context:", and "assert" to "test". | Eduardo Julian | 2017-06-19 | 1 | -45/+45 |
* | - Changed the type of Def so that values have type Top, instead of Void. | Eduardo Julian | 2017-06-19 | 1 | -6/+6 |
* | - JSON polytypic generator checks for (Dict Text ?) instead of (List [Text ?]). | Eduardo Julian | 2017-06-19 | 4 | -334/+277 |
* | - Codecs no longer take into account underscore "_" separators for digits.. | Eduardo Julian | 2017-06-19 | 1 | -5/+0 |
* | - Split "lux/macro/syntax/common" into 2 other sub-modules ("reader" and "wri... | Eduardo Julian | 2017-06-19 | 7 | -203/+225 |