Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Re-named lux/world/fs to lux/world/file. | Eduardo Julian | 2017-10-16 | 3 | -2/+2 |
| | |||||
* | - Moved Array type to lux.lux. | Eduardo Julian | 2017-10-16 | 13 | -484/+479 |
| | | | | - Re-named some array functions. - Minor refactorings. | ||||
* | - Renamed "%r" to "%f". | Eduardo Julian | 2017-10-12 | 3 | -3/+5 |
| | |||||
* | - Added seeds for failing tests. | Eduardo Julian | 2017-10-11 | 2 | -0/+2 |
| | |||||
* | - Forgot to commit update to tests for lux/type/check. | Eduardo Julian | 2017-10-11 | 1 | -73/+73 |
| | |||||
* | - Small refactorings. | Eduardo Julian | 2017-10-11 | 3 | -44/+50 |
| | |||||
* | - Added monoid composition. | Eduardo Julian | 2017-10-11 | 5 | -5/+13 |
| | |||||
* | - Eliminated the Anns and Ann-Value types, and now only using Code for ↵ | Eduardo Julian | 2017-10-11 | 10 | -1208/+1318 |
| | | | | definition annotations. | ||||
* | - Fixed the tests for lux/math/random. | Eduardo Julian | 2017-10-04 | 2 | -7/+6 |
| | |||||
* | swap wasn't swapping | mccraig mccraig of the clan mccraig | 2017-09-23 | 1 | -1/+3 |
| | |||||
* | - Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵ | Eduardo Julian | 2017-09-19 | 57 | -394/+394 |
| | | | | "identity"). | ||||
* | - Eliminated the redundant {X}-Array syntax for JVM array types. | Eduardo Julian | 2017-09-19 | 5 | -49/+22 |
| | |||||
* | - Some refactoring. | Eduardo Julian | 2017-09-19 | 66 | -366/+379 |
| | | | - Moved "assume" and "default" to lux/data/maybe. | ||||
* | - Fixed a bug with the "try" macro (it was dependent on the "function" ↵ | Eduardo Julian | 2017-09-19 | 1 | -1/+1 |
| | | | | symbol not being re-defined in the module where it is being used). | ||||
* | - Some improvements/refactoring for durations. | Eduardo Julian | 2017-09-19 | 2 | -22/+16 |
| | |||||
* | Merge pull request #34 from mccraigmccraig/fix-duration-tests | The Lux Programming Language | 2017-09-19 | 2 | -17/+23 |
|\ | | | | | fix duration frame and encoding tests | ||||
| * | fix duration frame and encoding tests | mccraig mccraig of the clan mccraig | 2017-09-19 | 2 | -17/+23 |
| | | |||||
* | | - Tree parsing. | Eduardo Julian | 2017-09-19 | 4 | -78/+124 |
| | | |||||
* | | - Added "when" function (great for piping). | Eduardo Julian | 2017-09-19 | 2 | -3/+10 |
| | | |||||
* | | - XML parsing. | Eduardo Julian | 2017-09-19 | 2 | -26/+163 |
| | | |||||
* | | - Added unary function support for the "infix" macro. | Eduardo Julian | 2017-09-19 | 2 | -54/+68 |
|/ | |||||
* | Using leinigen lux plugin again and increased stacksize. I always got ↵ | StephenBDT | 2017-09-19 | 1 | -1/+2 |
| | | | | stackoverflows when trying to run the tests | ||||
* | - Re-named "jvm-import" to "import". | Eduardo Julian | 2017-09-08 | 7 | -42/+42 |
| | |||||
* | - 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 | 5 | -45/+86 |
| | |||||
* | - Added tests for lux/math/random. | Eduardo Julian | 2017-09-05 | 2 | -1/+56 |
| | |||||
* | - Renamed bitwise right-shifting functions. | Eduardo Julian | 2017-09-05 | 7 | -31/+28 |
| | |||||
* | - 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 | 32 | -565/+564 |
| | |||||
* | - Added HTML-generation module. | Eduardo Julian | 2017-08-30 | 3 | -3/+154 |
| | | | - Added CSS-generation module. | ||||
* | - 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 |
| | | | - 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 | 6 | -37/+37 |
| | |||||
* | - "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 |
| | |||||
* | - 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 |
| |