Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | De-taggification | part 2 | Eduardo Julian | 2021-09-04 | 1 | -6/+6 |
* | Outsourced the syntax for labelled type definitions to macros. | Eduardo Julian | 2021-08-24 | 1 | -1/+1 |
* | Relocated maybe and lazy from data to control. | Eduardo Julian | 2021-08-11 | 1 | -1/+1 |
* | No more #export magic syntax. | Eduardo Julian | 2021-08-08 | 1 | -2/+2 |
* | More renamings. | Eduardo Julian | 2021-07-30 | 1 | -1/+1 |
* | Re-named "spec" hierarchy to "specification". | Eduardo Julian | 2021-07-15 | 1 | -1/+1 |
* | Normalized the hierarchy of the standard library modules. | Eduardo Julian | 2021-07-14 | 1 | -12/+13 |
* | Better syntax for parallel-hierarchy imports. | Eduardo Julian | 2021-07-12 | 1 | -5/+4 |
* | Constraining the year of the snapshot time in Aedifex. | Eduardo Julian | 2021-06-12 | 1 | -0/+4 |
* | Implemented arithmetic right-shift in terms of logic right-shift. | Eduardo Julian | 2021-01-28 | 1 | -0/+46 |