Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | - Updated new compiler's code to the recent changes in the language. | Eduardo Julian | 2017-09-05 | 43 | -448/+790 | |
| | | | - WIP: Some other changes/additions to the new compiler. | |||||
* | - Now using strict floating point math on the JVM. | Eduardo Julian | 2017-09-04 | 2 | -12/+14 | |
| | ||||||
* | - Simplified code for JSON format. | Eduardo Julian | 2017-09-04 | 5 | -405/+369 | |
| | | | - Moved JSON polytypism to the lux/macro/poly/* branch. | |||||
* | - Simple types are no longer matched by their names, but by the types ↵ | Eduardo Julian | 2017-09-04 | 4 | -39/+39 | |
| | | | | themselves. | |||||
* | - $_ and _$ macros now handle better "operator" code that is a form. e.g. | Eduardo Julian | 2017-09-04 | 1 | -6/+12 | |
| | | | ($_ (::: +) 1 2 3) => (::: + 1 (::: + 2 3)) instead of ((::: +) 1 ((::: +) 2 3)) | |||||
* | - Renamed "Log" to "Writer". | Eduardo Julian | 2017-09-04 | 3 | -27/+27 | |
| | ||||||
* | - Implemented network I/O for TCP and UDP (in the JVM). | Eduardo Julian | 2017-09-04 | 6 | -1/+377 | |
| | ||||||
* | - Re-named "real" numbers to "frac"(tions). | Eduardo Julian | 2017-09-04 | 53 | -748/+747 | |
| | ||||||
* | - Added HTML-generation module. | Eduardo Julian | 2017-08-30 | 3 | -3/+154 | |
| | | | - Added CSS-generation module. | |||||
* | - Integrated documentation into the main repo (powered by mkdocs). | Eduardo Julian | 2017-08-27 | 5 | -3/+619 | |
| | ||||||
* | - Small fixes and refactorings. | Eduardo Julian | 2017-08-22 | 2 | -2/+3 | |
| | ||||||
* | - Added array operations for primitive arrays. | Eduardo Julian | 2017-08-22 | 2 | -0/+32 | |
| | ||||||
* | - 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 | |
| | | | - Added a way to obtain a program's environment variables. | |||||
* | - Implemented a file-system library. | Eduardo Julian | 2017-08-22 | 2 | -0/+282 | |
| | ||||||
* | - Implemented a blob (binary large object) library. | Eduardo Julian | 2017-08-22 | 2 | -0/+245 | |
| | ||||||
* | - Small refactorings. | Eduardo Julian | 2017-08-21 | 3 | -9/+28 | |
| | ||||||
* | - Added module for color computations. | Eduardo Julian | 2017-08-21 | 2 | -0/+402 | |
| | ||||||
* | - Renamed "model" to "opaque". | Eduardo Julian | 2017-08-21 | 7 | -38/+38 | |
| | ||||||
* | - "program:" now evaluates its body within an implicit IO monad. | Eduardo Julian | 2017-08-19 | 5 | -30/+49 | |
| | | | | | - Fixed a bug with the types of actors and messages. - Added Functor for queues. - Small refactorings and fixes. | |||||
* | - 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 | |
| | ||||||
* | - Added "on:" syntax for spaces. | Eduardo Julian | 2017-08-03 | 1 | -2/+2 | |
| | ||||||
* | - 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 | 3 | -0/+175 | |
| | ||||||
* | - 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 | 7 | -640/+627 | |
| | ||||||
* | - Removed polytipic text-encoders. | Eduardo Julian | 2017-08-01 | 7 | -546/+147 | |
| | | | - Simplified a lot of polytypism. | |||||
* | - Broken down lux/data/format/json module into smaller family of modules. | Eduardo Julian | 2017-08-01 | 5 | -928/+769 | |
| | | | - Re-implemented JSON parsing in terms of lux/control/parser. | |||||
* | - 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 ↵ | Eduardo Julian | 2017-07-29 | 1 | -1/+1 | |
| | | | | getting included in the synthesized #;Host type. | |||||
* | - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to ↵ | Eduardo Julian | 2017-07-29 | 5 | -57/+58 | |
| | | | | lux/data/lazy. | |||||
* | - 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 ↵ | Eduardo Julian | 2017-07-25 | 2 | -1/+145 | |
| | | | | calculations. | |||||
* | - Models now only rely on normal (inline) casting functions. Hopefully, in ↵ | Eduardo Julian | 2017-07-25 | 1 | -16/+8 | |
| | | | | the future, they will be completely optimized away. | |||||
* | - No longer defining hidden casting functions. Instead, inline functions are ↵ | Eduardo Julian | 2017-07-24 | 1 | -35/+18 | |
| | | | | used (they are easier to optimize away). | |||||
* | - 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 | |
| |