Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2021-07-14 | Normalized the hierarchy of the standard library modules. | Eduardo Julian | 1 | -20/+0 | |
2020-08-09 | "abstract:" macro now takes annotations after representation type. | Eduardo Julian | 1 | -1/+1 | |
2019-06-20 | Improved the design of modifiers. | Eduardo Julian | 1 | -15/+5 | |
2019-04-27 | Moved the modules under "lux/host/" to now be under "lux/target/". | Eduardo Julian | 1 | -0/+0 | |
2019-04-06 | Created the "lux/abstract" branch and moved some modules into it. | Eduardo Julian | 1 | -2/+3 | |
2018-12-28 | Added equivalences. | Eduardo Julian | 1 | -0/+1 | |
2018-12-26 | Expanded the set of available modifiers. | Eduardo Julian | 1 | -0/+28 | |