Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Local binding names for (co|indexed-)?monads are now explicitly set. | Eduardo Julian | 2020-05-17 | 1 | -2/+2 |
* | No more "n/"-prefixed functions. | Eduardo Julian | 2019-07-26 | 1 | -6/+6 |
* | Created the "lux/abstract" branch and moved some modules into it. | Eduardo Julian | 2019-04-06 | 1 | -2/+1 |
* | Changed the convention for the structure opening separator from "/" to ";", t... | Eduardo Julian | 2019-03-15 | 1 | -17/+17 |
* | Added the special # syntax for referring to the module's alias when opening s... | Eduardo Julian | 2019-02-11 | 1 | -4/+4 |
* | Folded license-making program (legislator) into the Lux project proper (as li... | Eduardo Julian | 2019-02-05 | 1 | -0/+347 |