aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* - Some refactoring and small bug fixes.Eduardo Julian2017-08-031-108/+121
* - Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian2017-08-027-640/+627
* - Removed polytipic text-encoders.Eduardo Julian2017-08-017-546/+147
* - Broken down lux/data/format/json module into smaller family of modules.Eduardo Julian2017-08-015-928/+769
* - Added formatters for JSON, XML and time types.Eduardo Julian2017-07-319-144/+148
* - Extended duration and date with Order and Codec implementations.Eduardo Julian2017-07-314-6/+268
* - Fixed a bug when calculating the month of a date.Eduardo Julian2017-07-291-1/+1
* - Added more structures for instants and dates.Eduardo Julian2017-07-295-18/+278
* - Added Eq, Order and Enum structures for unit types.Eduardo Julian2017-07-291-1/+25
* - Re-implemented Tainted using models.Eduardo Julian2017-07-293-26/+28
* - Added Functor, Applicative and Monad implementations for Lazy.Eduardo Julian2017-07-292-8/+57
* - Fuxed a bug when generating module code, where the type-vars were not getti...Eduardo Julian2017-07-291-1/+1
* - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to lux/data/...Eduardo Julian2017-07-295-57/+58
* - Added "month" function and improved "day" function.Eduardo Julian2017-07-291-5/+12
* - Small improvement to overlap testing for intervals.Eduardo Julian2017-07-291-16/+16
* - Added annotation support to units and models.Eduardo Julian2017-07-292-2/+7
* - Added dates, and the capacity to calculate week-days.Eduardo Julian2017-07-263-46/+121
* - Improved re-scaling logic and added some SI units.Eduardo Julian2017-07-251-14/+26
* - Added "model:", "unit:" and "scale:" to syntax highlighting.Eduardo Julian2017-07-251-0/+2
* - Added units of measurement as a feature to decorate Int values for safer ca...Eduardo Julian2017-07-252-1/+145
* - Models now only rely on normal (inline) casting functions. Hopefully, in th...Eduardo Julian2017-07-251-16/+8
* - No longer defining hidden casting functions. Instead, inline functions are ...Eduardo Julian2017-07-241-35/+18
* - Refactored Time into Instant and Duration.Eduardo Julian2017-07-247-194/+335
* - Added models as a mechanism to encode nominal types.Eduardo Julian2017-07-241-0/+188
* - Relocated the "object" and "concatenative" modules.Eduardo Julian2017-07-234-11/+12
* - Codec now works on negative times (with respect to the epoch).Eduardo Julian2017-07-232-35/+19
* - Improved reporting on tests.Eduardo Julian2017-07-231-6/+5
* - Added module for time (Codec has currently been tested only for time after ...Eduardo Julian2017-07-233-0/+382
* - Merged the submodules of lux/paradigm/object into their parent module.Eduardo Julian2017-07-225-396/+334
* - Removed the "M" suffix from monadic functions.Eduardo Julian2017-07-22100-467/+454
* - Eliminated lux/math/simple. If you want simple math, use lux/type/auto with...Eduardo Julian2017-07-223-408/+1
* - Removed Char support in lux-mode.Eduardo Julian2017-07-221-4/+1
* - Removed algebraic effects module. If you want effects, just go with finally...Eduardo Julian2017-07-223-418/+1
* - Changed inheritance syntax for interfaces and classes to make it more homog...Eduardo Julian2017-07-222-6/+6
* - Renamed Chan to Channel.Eduardo Julian2017-07-224-63/+63
* - Some utility functions.Eduardo Julian2017-07-222-1/+14
* - Small refactorings and bug fixes.Eduardo Julian2017-07-227-88/+92
* - Polytypic JSON codec can now handle #rec-style recursive types.Eduardo Julian2017-07-164-65/+150
* - Can now generate Eq instances for #rec-style recursive types.Eduardo Julian2017-07-1536-122/+182
* - Error messages on the JVM now include the stack-trace.Eduardo Julian2017-07-031-5/+27
* - Tested the compilation for "nat" procedures.Eduardo Julian2017-07-038-201/+436
* - Renamed "#Relative" to "#Variable" and "#Absolute" to "#Definition".Eduardo Julian2017-07-028-19/+19
* - Real syntax now supports exponential.Eduardo Julian2017-07-022-3/+6
* - Adjusted compiler to the new lack of Char type.Eduardo Julian2017-07-0229-151/+564
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-0255-792/+274
* - Lexers now carry an offset which they use to figure out where to extract pa...Eduardo Julian2017-07-015-162/+150
* - Text no longer has a codec (because the decoding didn't handle unicode esca...Eduardo Julian2017-07-017-67/+35
* - The bodies of actor messages are run within the Task monad.Eduardo Julian2017-07-011-1/+3
* - Remove the suffixes of "lift" functions for monad transformers.Eduardo Julian2017-07-0115-226/+225
* - WIP: Added generation for common procedures.Eduardo Julian2017-06-3013-47/+1120