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