| Commit message (Expand) | Author | Age | Files | Lines |
* | - Broken down lux/data/format/json module into smaller family of modules. | Eduardo Julian | 2017-08-01 | 5 | -928/+769 |
* | - Added formatters for JSON, XML and time types. | Eduardo Julian | 2017-07-31 | 9 | -144/+148 |
* | - Extended duration and date with Order and Codec implementations. | Eduardo Julian | 2017-07-31 | 4 | -6/+268 |
* | - Fixed a bug when calculating the month of a date. | Eduardo Julian | 2017-07-29 | 1 | -1/+1 |
* | - Added more structures for instants and dates. | Eduardo Julian | 2017-07-29 | 5 | -18/+278 |
* | - Added Eq, Order and Enum structures for unit types. | Eduardo Julian | 2017-07-29 | 1 | -1/+25 |
* | - Re-implemented Tainted using models. | Eduardo Julian | 2017-07-29 | 3 | -26/+28 |
* | - Added Functor, Applicative and Monad implementations for Lazy. | Eduardo Julian | 2017-07-29 | 2 | -8/+57 |
* | - Fuxed a bug when generating module code, where the type-vars were not getti... | Eduardo Julian | 2017-07-29 | 1 | -1/+1 |
* | - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to lux/data/... | Eduardo Julian | 2017-07-29 | 5 | -57/+58 |
* | - 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 | 3 | -46/+121 |
* | - Improved re-scaling logic and added some SI units. | Eduardo Julian | 2017-07-25 | 1 | -14/+26 |
* | - Added "model:", "unit:" and "scale:" to syntax highlighting. | Eduardo Julian | 2017-07-25 | 1 | -0/+2 |
* | - Added units of measurement as a feature to decorate Int values for safer ca... | Eduardo Julian | 2017-07-25 | 2 | -1/+145 |
* | - 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 | 7 | -194/+335 |
* | - 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 | 4 | -11/+12 |
* | - Codec now works on negative times (with respect to the epoch). | Eduardo Julian | 2017-07-23 | 2 | -35/+19 |
* | - 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 | 3 | -0/+382 |
* | - 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 | 100 | -467/+454 |
* | - Eliminated lux/math/simple. If you want simple math, use lux/type/auto with... | Eduardo Julian | 2017-07-22 | 3 | -408/+1 |
* | - Removed Char support in lux-mode. | Eduardo Julian | 2017-07-22 | 1 | -4/+1 |
* | - Removed algebraic effects module. If you want effects, just go with finally... | Eduardo Julian | 2017-07-22 | 3 | -418/+1 |
* | - Changed inheritance syntax for interfaces and classes to make it more homog... | Eduardo Julian | 2017-07-22 | 2 | -6/+6 |
* | - Renamed Chan to Channel. | Eduardo Julian | 2017-07-22 | 4 | -63/+63 |
* | - Some utility functions. | Eduardo Julian | 2017-07-22 | 2 | -1/+14 |
* | - Small refactorings and bug fixes. | Eduardo Julian | 2017-07-22 | 7 | -88/+92 |
* | - Polytypic JSON codec can now handle #rec-style recursive types. | Eduardo Julian | 2017-07-16 | 4 | -65/+150 |
* | - Can now generate Eq instances for #rec-style recursive types. | Eduardo Julian | 2017-07-15 | 36 | -122/+182 |
* | - Error messages on the JVM now include the stack-trace. | Eduardo Julian | 2017-07-03 | 1 | -5/+27 |
* | - Tested the compilation for "nat" procedures. | Eduardo Julian | 2017-07-03 | 8 | -201/+436 |
* | - Renamed "#Relative" to "#Variable" and "#Absolute" to "#Definition". | Eduardo Julian | 2017-07-02 | 8 | -19/+19 |
* | - Real syntax now supports exponential. | Eduardo Julian | 2017-07-02 | 2 | -3/+6 |
* | - Adjusted compiler to the new lack of Char type. | Eduardo Julian | 2017-07-02 | 29 | -151/+564 |
* | - Lux no longer has a Char primitive data-type. | Eduardo Julian | 2017-07-02 | 55 | -792/+274 |
* | - Lexers now carry an offset which they use to figure out where to extract pa... | Eduardo Julian | 2017-07-01 | 5 | -162/+150 |
* | - Text no longer has a codec (because the decoding didn't handle unicode esca... | Eduardo Julian | 2017-07-01 | 7 | -67/+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 | 15 | -226/+225 |
* | - WIP: Added generation for common procedures. | Eduardo Julian | 2017-06-30 | 13 | -47/+1120 |
* | - Adapted compiler to the latest stdlib changes. | Eduardo Julian | 2017-06-27 | 21 | -913/+909 |
* | - 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 |