| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | - Re-named "jvm-import" to "import". | Eduardo Julian | 2017-09-08 | 6 | -36/+36 |
| * | - Changed the code examples for JVM interop macros. | Eduardo Julian | 2017-09-05 | 1 | -60/+22 |
| * | - Added polytypic JSON codec support for unit-types. | Eduardo Julian | 2017-09-05 | 1 | -2/+20 |
| * | - Renamed bitwise right-shifting functions. | Eduardo Julian | 2017-09-05 | 6 | -29/+26 |
| * | - Simplified code for JSON format. | Eduardo Julian | 2017-09-04 | 4 | -399/+364 |
| * | - Simple types are no longer matched by their names, but by the types themsel... | Eduardo Julian | 2017-09-04 | 4 | -39/+39 |
| * | - $_ and _$ macros now handle better "operator" code that is a form. e.g. | Eduardo Julian | 2017-09-04 | 1 | -6/+12 |
| * | - Renamed "Log" to "Writer". | Eduardo Julian | 2017-09-04 | 1 | -15/+15 |
| * | - Implemented network I/O for TCP and UDP (in the JVM). | Eduardo Julian | 2017-09-04 | 3 | -0/+234 |
| * | - Re-named "real" numbers to "frac"(tions). | Eduardo Julian | 2017-09-04 | 20 | -417/+417 |
| * | - Added HTML-generation module. | Eduardo Julian | 2017-08-30 | 2 | -0/+145 |
| * | - Small fixes and refactorings. | Eduardo Julian | 2017-08-22 | 1 | -1/+1 |
| * | - Improved naming convention for quotient types. | Eduardo Julian | 2017-08-22 | 1 | -4/+4 |
| * | - Added context/config variables, and their parsers (a.k.a. properties). | Eduardo Julian | 2017-08-22 | 2 | -0/+81 |
| * | - Implemented a file-system library. | Eduardo Julian | 2017-08-22 | 1 | -0/+120 |
| * | - Implemented a blob (binary large object) library. | Eduardo Julian | 2017-08-22 | 1 | -0/+138 |
| * | - Small refactorings. | Eduardo Julian | 2017-08-21 | 2 | -7/+26 |
| * | - Added module for color computations. | Eduardo Julian | 2017-08-21 | 1 | -0/+306 |
| * | - Renamed "model" to "opaque". | Eduardo Julian | 2017-08-21 | 6 | -37/+37 |
| * | - "program:" now evaluates its body within an implicit IO monad. | Eduardo Julian | 2017-08-19 | 5 | -30/+49 |
| * | - Small refactorings and fixes. | Eduardo Julian | 2017-08-10 | 3 | -65/+124 |
| * | - Added poly/eq support for time types and unit types. | Eduardo Julian | 2017-08-06 | 1 | -34/+49 |
| * | - Moved "codec" from lux/data/text/lexer to lux/control/parser. | Eduardo Julian | 2017-08-05 | 7 | -27/+26 |
| * | - Now, spaces automatically remove dead subscriptions after discovering them. | Eduardo Julian | 2017-08-03 | 1 | -19/+25 |
| * | - Implemented Agent-Oriented Programming. | Eduardo Julian | 2017-08-03 | 1 | -0/+150 |
| * | - Some refactoring and small bug fixes. | Eduardo Julian | 2017-08-03 | 1 | -108/+121 |
| * | - Re-implemented polytypic matchers in terms of lux/control/parser. | Eduardo Julian | 2017-08-02 | 5 | -623/+615 |
| * | - Removed polytipic text-encoders. | Eduardo Julian | 2017-08-01 | 5 | -490/+146 |
| * | - Broken down lux/data/format/json module into smaller family of modules. | Eduardo Julian | 2017-08-01 | 4 | -893/+735 |
| * | - Added formatters for JSON, XML and time types. | Eduardo Julian | 2017-07-31 | 8 | -143/+147 |
| * | - Extended duration and date with Order and Codec implementations. | Eduardo Julian | 2017-07-31 | 2 | -2/+209 |
| * | - 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 | 2 | -17/+179 |
| * | - 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 | 2 | -25/+26 |
| * | - Added Functor, Applicative and Monad implementations for Lazy. | Eduardo Julian | 2017-07-29 | 1 | -3/+22 |
| * | - 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 | 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 |
