Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | De-taggification | part 4 | Eduardo Julian | 2021-09-07 | 1 | -9/+9 |
* | De-taggification | part 2 | Eduardo Julian | 2021-09-04 | 1 | -3/+3 |
* | De-taggification | part 0 | Eduardo Julian | 2021-08-29 | 1 | -11/+9 |
* | Outsourced the syntax for labelled type definitions to macros. | Eduardo Julian | 2021-08-24 | 1 | -1/+1 |
* | Can now produce arbitrary code fragments statically by evaluating arbitrary e... | Eduardo Julian | 2021-08-21 | 1 | -11/+25 |
* | Some bug fixes. | Eduardo Julian | 2021-08-18 | 1 | -6/+6 |
* | Made extension-definition macros specify their bindings the same way as syntax:. | Eduardo Julian | 2021-08-16 | 1 | -58/+73 |
* | Moved documentation-generation machinery to its own module. | Eduardo Julian | 2021-08-14 | 1 | -0/+93 |