Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Move the structures for the Free monad into lux/control/monad. | Eduardo Julian | 2017-04-10 | 1 | -53/+0 |
| | |||||
* | - Renamed "lambda" to "function". | Eduardo Julian | 2017-04-10 | 1 | -5/+5 |
| | |||||
* | - Some refactorings, new types & functions, and moved the lux/effect module ↵ | Eduardo Julian | 2017-04-01 | 1 | -0/+396 |
| | | | | to lux/control/effect. | ||||
* | - Moved the lux/data/struct/* modules to lux/data/coll/*. | Eduardo Julian | 2017-01-25 | 1 | -406/+0 |
| | | | | | | | - Did the same for the lux/codata/struct/* modules. - Moved lux/codata/io to lux/io. - Moved lux/control/effect to lux/effect. - Renamed "sample" functions to "this" functions. - Renamed "at" functions to "nth" functions. | ||||
* | - Simplified the macros for asking about or ensuring AST tokens. | Eduardo Julian | 2017-01-12 | 1 | -1/+1 |
| | |||||
* | - Fixed a lot of errors in the documentation. | Eduardo Julian | 2017-01-06 | 1 | -16/+17 |
| | |||||
* | - Updated the documentation of most modules left. | Eduardo Julian | 2017-01-04 | 1 | -5/+51 |
| | | | - Minor refactorings. | ||||
* | - Fixed a bug in the way effect-handling worked. | Eduardo Julian | 2016-12-18 | 1 | -25/+32 |
| | | | - Added tests for lux/control/effect. | ||||
* | - Bug fixes and refactorings for algebraic effects. | Eduardo Julian | 2016-12-18 | 1 | -42/+79 |
| | |||||
* | - Updated tests for lux/type. | Eduardo Julian | 2016-12-15 | 1 | -1/+1 |
| | | | - Added tests for lux/type/check and lux/type/auto. | ||||
* | - No longer using record syntax in certain macros. | Eduardo Julian | 2016-12-12 | 1 | -6/+6 |
| | |||||
* | - Minor refactorings and expansions. | Eduardo Julian | 2016-12-04 | 1 | -3/+3 |
| | |||||
* | - Changed the names of math op functions to make them more consistent and ↵ | Eduardo Julian | 2016-12-02 | 1 | -1/+1 |
| | | | | similar. | ||||
* | - Collected the Lux compiler's repo, the Standard Library's, the Leiningen ↵ | Eduardo Julian | 2016-12-01 | 1 | -0/+315 |
plugin's and the Emacs mode's into a big monorepo, to keep development unified. |