Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | - Re-named "real" numbers to "frac"(tions). | Eduardo Julian | 2017-09-04 | 12 | -148/+147 | |
| | ||||||
* | - Added HTML-generation module. | Eduardo Julian | 2017-08-30 | 1 | -3/+9 | |
| | | | - Added CSS-generation module. | |||||
* | - Implemented a file-system library. | Eduardo Julian | 2017-08-22 | 1 | -0/+162 | |
| | ||||||
* | - Implemented a blob (binary large object) library. | Eduardo Julian | 2017-08-22 | 1 | -0/+107 | |
| | ||||||
* | - Small refactorings. | Eduardo Julian | 2017-08-21 | 1 | -2/+2 | |
| | ||||||
* | - Added module for color computations. | Eduardo Julian | 2017-08-21 | 1 | -0/+96 | |
| | ||||||
* | - Implemented Agent-Oriented Programming. | Eduardo Julian | 2017-08-03 | 2 | -0/+25 | |
| | ||||||
* | - Re-implemented polytypic matchers in terms of lux/control/parser. | Eduardo Julian | 2017-08-02 | 2 | -17/+12 | |
| | ||||||
* | - Removed polytipic text-encoders. | Eduardo Julian | 2017-08-01 | 2 | -56/+1 | |
| | | | - Simplified a lot of polytypism. | |||||
* | - Broken down lux/data/format/json module into smaller family of modules. | Eduardo Julian | 2017-08-01 | 1 | -35/+34 | |
| | | | - Re-implemented JSON parsing in terms of lux/control/parser. | |||||
* | - Added formatters for JSON, XML and time types. | Eduardo Julian | 2017-07-31 | 1 | -1/+1 | |
| | ||||||
* | - Extended duration and date with Order and Codec implementations. | Eduardo Julian | 2017-07-31 | 2 | -4/+59 | |
| | ||||||
* | - Added more structures for instants and dates. | Eduardo Julian | 2017-07-29 | 3 | -1/+99 | |
| | ||||||
* | - Re-implemented Tainted using models. | Eduardo Julian | 2017-07-29 | 1 | -1/+2 | |
| | ||||||
* | - Added Functor, Applicative and Monad implementations for Lazy. | Eduardo Julian | 2017-07-29 | 1 | -5/+35 | |
| | ||||||
* | - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to ↵ | Eduardo Julian | 2017-07-29 | 3 | -24/+24 | |
| | | | | lux/data/lazy. | |||||
* | - Added dates, and the capacity to calculate week-days. | Eduardo Julian | 2017-07-26 | 1 | -2/+2 | |
| | ||||||
* | - Added units of measurement as a feature to decorate Int values for safer ↵ | Eduardo Julian | 2017-07-25 | 1 | -1/+2 | |
| | | | | calculations. | |||||
* | - Refactored Time into Instant and Duration. | Eduardo Julian | 2017-07-24 | 4 | -69/+133 | |
| | ||||||
* | - Relocated the "object" and "concatenative" modules. | Eduardo Julian | 2017-07-23 | 2 | -7/+7 | |
| | ||||||
* | - Codec now works on negative times (with respect to the epoch). | Eduardo Julian | 2017-07-23 | 1 | -23/+5 | |
| | | | - There are still some corner cases where decoding fails. MUST FIX. | |||||
* | - Added module for time (Codec has currently been tested only for time after ↵ | Eduardo Julian | 2017-07-23 | 2 | -0/+87 | |
| | | | | epoch). | |||||
* | - Removed the "M" suffix from monadic functions. | Eduardo Julian | 2017-07-22 | 61 | -76/+76 | |
| | ||||||
* | - Eliminated lux/math/simple. If you want simple math, use lux/type/auto ↵ | Eduardo Julian | 2017-07-22 | 2 | -102/+1 | |
| | | | | with the relevant signatures. | |||||
* | - Removed algebraic effects module. If you want effects, just go with ↵ | Eduardo Julian | 2017-07-22 | 2 | -74/+1 | |
| | | | | finally-tagless approach. | |||||
* | - Changed inheritance syntax for interfaces and classes to make it more ↵ | Eduardo Julian | 2017-07-22 | 1 | -4/+4 | |
| | | | | homogeneous. | |||||
* | - Renamed Chan to Channel. | Eduardo Julian | 2017-07-22 | 1 | -10/+10 | |
| | ||||||
* | - Small refactorings and bug fixes. | Eduardo Julian | 2017-07-22 | 1 | -9/+9 | |
| | ||||||
* | - Polytypic JSON codec can now handle #rec-style recursive types. | Eduardo Julian | 2017-07-16 | 2 | -5/+19 | |
| | ||||||
* | - Can now generate Eq instances for #rec-style recursive types. | Eduardo Julian | 2017-07-15 | 7 | -9/+22 | |
| | | | - Minor refactorings. | |||||
* | - Lux no longer has a Char primitive data-type. | Eduardo Julian | 2017-07-02 | 16 | -164/+100 | |
| | ||||||
* | - Lexers now carry an offset which they use to figure out where to extract ↵ | Eduardo Julian | 2017-07-01 | 1 | -15/+15 | |
| | | | | | parts of the whole input, instead of having to clip the input as they lex. thereby doing a lot of unnecessary text allocations. - Some refactoring. | |||||
* | - Text no longer has a codec (because the decoding didn't handle unicode ↵ | Eduardo Julian | 2017-07-01 | 1 | -13/+0 | |
| | | | | escaping). | |||||
* | - Remove the suffixes of "lift" functions for monad transformers. | Eduardo Julian | 2017-07-01 | 6 | -8/+7 | |
| | ||||||
* | - Miscellaneous refactoring. | Eduardo Julian | 2017-06-26 | 1 | -3/+3 | |
| | ||||||
* | - Messages are now defined outside of the actor definition. | Eduardo Julian | 2017-06-26 | 1 | -16/+23 | |
| | ||||||
* | - Implemented single-inheritance. | Eduardo Julian | 2017-06-26 | 2 | -38/+73 | |
| | | | - Fixed some bugs. | |||||
* | - Forgot to update the tests for ordered collections. | Eduardo Julian | 2017-06-24 | 1 | -4/+4 | |
| | ||||||
* | - Re-designed actors so that their messages are now functions with access to ↵ | Eduardo Julian | 2017-06-24 | 3 | -94/+95 | |
| | | | | | | the actor's state, and to the actor itself. - When creating channels and promises, the type is now mandatory. - Minor refactorings. | |||||
* | - Added Fold structure for rose trees. | Eduardo Julian | 2017-06-23 | 1 | -20/+31 | |
| | ||||||
* | - Renamed lux/data/coll/ordered to lux/data/coll/ordered/set. | Eduardo Julian | 2017-06-23 | 2 | -11/+122 | |
| | | | - Created ordered dictionary implementation, and based the set implementation upon it. | |||||
* | - Renamed "App" to "Apply" and swapped the order of the arguments to it. | Eduardo Julian | 2017-06-21 | 2 | -4/+4 | |
| | | | - Also did argument swapping for lux/type;application. | |||||
* | - CLI, Syntax and Lexer are now based upon a common Parser type. | Eduardo Julian | 2017-06-21 | 6 | -320/+267 | |
| | ||||||
* | - In lux/test, renamed "test:" to "context:", and "assert" to "test". | Eduardo Julian | 2017-06-19 | 62 | -2851/+2851 | |
| | ||||||
* | - JSON polytypic generator checks for (Dict Text ?) instead of (List [Text ?]). | Eduardo Julian | 2017-06-19 | 2 | -112/+105 | |
| | | | - Lexers now rely only on Text, instead of also relying on Char. | |||||
* | - Implemented functional object-oriented programming. | Eduardo Julian | 2017-06-17 | 2 | -0/+49 | |
| | ||||||
* | - Small refactorings and name-changes. | Eduardo Julian | 2017-06-17 | 1 | -3/+3 | |
| | ||||||
* | - Small refactorings. | Eduardo Julian | 2017-05-29 | 1 | -2/+2 | |
| | ||||||
* | - Renamed ^=> to ^multi. | Eduardo Julian | 2017-05-24 | 1 | -8/+8 | |
| | ||||||
* | - Implemented Real<->Bits conversion (and used it to implement Hash<Real>). | Eduardo Julian | 2017-05-23 | 1 | -0/+7 | |
| |