Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2017-12-31 | - Added region-based resource management. | Eduardo Julian | 1 | -1/+2 | |
2017-12-31 | - Added safe (single-threaded) mutation. | Eduardo Julian | 1 | -1/+2 | |
2017-12-31 | - Added bit-sets. | Eduardo Julian | 1 | -1/+2 | |
2017-12-28 | - A small, in-development module for doing constructive mathematics with ↵ | Eduardo Julian | 1 | -0/+1 | |
something close to dependent types. | |||||
2017-12-28 | - Added quotient types. | Eduardo Julian | 1 | -1/+2 | |
2017-12-25 | - Added module for predicates. | Eduardo Julian | 1 | -2/+4 | |
- Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro. | |||||
2017-12-24 | - Added type-safe modular arithmetic. | Eduardo Julian | 1 | -1/+1 | |
2017-12-12 | - Agent-based concurrency is just actors listening to FRP channels, so ↵ | Eduardo Julian | 1 | -2/+0 | |
special support for it was removed. | |||||
2017-12-02 | - Added some ~! to some macros to stop them from imposing dependencies. | Eduardo Julian | 1 | -4/+1 | |
- Added some code to "lux.type" so it can handle "lux in-module". | |||||
2017-12-02 | - Added context-sensitive macro-expansion by means of "lux in-module", and ↵ | Eduardo Julian | 1 | -1/+3 | |
removed all the (now unnecessary) #hidden tags. - Fixed a bug when loading the imports from the cache. - Added special notation for context-sensitive macro-expansion. | |||||
2017-11-29 | - Changed the identifier separator, from the semi-colon (;) to the ↵ | Eduardo Julian | 1 | -74/+73 | |
period/dot (.). | |||||
2017-11-23 | - Added console I/O. | Eduardo Julian | 1 | -1/+2 | |
2017-11-15 | - Re-named "lux/meta" to to "lux/macro". | Eduardo Julian | 1 | -5/+5 | |
2017-11-15 | - Moved "/type/*" to from "lux/meta/" to "lux/". | Eduardo Julian | 1 | -4/+4 | |
2017-11-15 | - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang". | Eduardo Julian | 1 | -4/+4 | |
2017-11-15 | - Re-named "lux/meta/type/auto" to "lux/meta/type/implicit". | Eduardo Julian | 1 | -1/+1 | |
2017-11-15 | - Moved "luxc/lang/syntax" to "lux/lang/syntax". | Eduardo Julian | 1 | -0/+1 | |
- Minor refactoring. | |||||
2017-10-16 | - Re-named "Lux" type to "Meta". | Eduardo Julian | 1 | -10/+10 | |
- Moved lux/type/* under lux/meta/*. | |||||
2017-10-16 | - Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors. | Eduardo Julian | 1 | -1/+1 | |
2017-10-16 | - Removed the useless Seq type. | Eduardo Julian | 1 | -1/+0 | |
2017-10-16 | - Re-named "Result" type back to "Error". | Eduardo Julian | 1 | -1/+1 | |
2017-10-16 | - Re-named lux/world/fs to lux/world/file. | Eduardo Julian | 1 | -1/+1 | |
2017-09-19 | - Tree parsing. | Eduardo Julian | 1 | -5/+6 | |
2017-09-05 | - Added tests for lux/math/random. | Eduardo Julian | 1 | -1/+2 | |
2017-09-04 | - Renamed "Log" to "Writer". | Eduardo Julian | 1 | -1/+1 | |
2017-09-04 | - Implemented network I/O for TCP and UDP (in the JVM). | Eduardo Julian | 1 | -1/+3 | |
2017-08-30 | - Added HTML-generation module. | Eduardo Julian | 1 | -3/+9 | |
- Added CSS-generation module. | |||||
2017-08-03 | - Implemented Agent-Oriented Programming. | Eduardo Julian | 1 | -0/+2 | |
2017-08-01 | - Removed polytipic text-encoders. | Eduardo Julian | 1 | -2/+1 | |
- Simplified a lot of polytypism. | |||||
2017-07-29 | - Added more structures for instants and dates. | Eduardo Julian | 1 | -1/+2 | |
2017-07-29 | - Re-implemented Tainted using models. | Eduardo Julian | 1 | -1/+2 | |
2017-07-29 | - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to ↵ | Eduardo Julian | 1 | -1/+1 | |
lux/data/lazy. | |||||
2017-07-25 | - Added units of measurement as a feature to decorate Int values for safer ↵ | Eduardo Julian | 1 | -1/+2 | |
calculations. | |||||
2017-07-24 | - Refactored Time into Instant and Duration. | Eduardo Julian | 1 | -1/+2 | |
2017-07-23 | - Relocated the "object" and "concatenative" modules. | Eduardo Julian | 1 | -6/+6 | |
2017-07-23 | - Added module for time (Codec has currently been tested only for time after ↵ | Eduardo Julian | 1 | -0/+1 | |
epoch). | |||||
2017-07-22 | - Eliminated lux/math/simple. If you want simple math, use lux/type/auto ↵ | Eduardo Julian | 1 | -2/+1 | |
with the relevant signatures. | |||||
2017-07-22 | - Removed algebraic effects module. If you want effects, just go with ↵ | Eduardo Julian | 1 | -2/+1 | |
finally-tagless approach. | |||||
2017-07-02 | - Lux no longer has a Char primitive data-type. | Eduardo Julian | 1 | -2/+2 | |
2017-06-26 | - Implemented single-inheritance. | Eduardo Julian | 1 | -1/+1 | |
- Fixed some bugs. | |||||
2017-06-24 | - Forgot to update the tests for ordered collections. | Eduardo Julian | 1 | -4/+4 | |
2017-06-21 | - CLI, Syntax and Lexer are now based upon a common Parser type. | Eduardo Julian | 1 | -4/+5 | |
2017-06-17 | - Implemented functional object-oriented programming. | Eduardo Julian | 1 | -0/+1 | |
2017-05-17 | - Renamed "Error" to "Result". | Eduardo Julian | 1 | -1/+1 | |
2017-05-09 | - Small fixes and refactorings. | Eduardo Julian | 1 | -6/+3 | |
2017-05-07 | - Renamed "AST" to "Code". | Eduardo Julian | 1 | -6/+10 | |
2017-04-10 | - Move the modules under lux/function/* to be under lux/control/*. | Eduardo Julian | 1 | -5/+5 | |
2017-04-10 | - Renamed "lambda" to "function". | Eduardo Julian | 1 | -4/+5 | |
2017-04-06 | - Added XML support. | Eduardo Julian | 1 | -1/+2 | |
2017-04-05 | - Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵ | Eduardo Julian | 1 | -35/+37 | |
lux/data/text/regex. - Moved lux/pipe to lux/control/pipe. - Moved the @pre and @post macros to lux/control/contract. - Improved error reporting for lux/type/auto. - Added a test for third-order type-checking for lux/type/auto. - Fixed a bug in the tests for lux/data/coll/vector. |