| Commit message (Expand) | Author | Age | Files | Lines |
* | "module:" => "using" | Eduardo Julian | 2021-09-15 | 5 | -5/+5 |
* | Updated only/except import syntax to take into account record => variant synt... | Eduardo Julian | 2021-09-13 | 5 | -16/+16 |
* | Re-named \ => # && \\ => ## | Eduardo Julian | 2021-09-12 | 5 | -13/+13 |
* | Made the "#" character great again! | Eduardo Julian | 2021-09-12 | 1 | -6/+6 |
* | Migrated variants to the new syntax. | Eduardo Julian | 2021-09-10 | 1 | -1/+1 |
* | De-taggification | part 4 | Eduardo Julian | 2021-09-07 | 5 | -43/+43 |
* | De-taggification | part 2 | Eduardo Julian | 2021-09-04 | 5 | -26/+26 |
* | Unified tuple and record syntax. | Eduardo Julian | 2021-09-03 | 1 | -2/+2 |
* | Outsourced the syntax for labelled type definitions to macros. | Eduardo Julian | 2021-08-24 | 4 | -4/+4 |
* | Some bug fixes. | Eduardo Julian | 2021-08-18 | 1 | -4/+4 |
* | Relocated maybe and lazy from data to control. | Eduardo Julian | 2021-08-11 | 4 | -4/+4 |
* | No more #export magic syntax. | Eduardo Julian | 2021-08-08 | 5 | -10/+10 |
* | More renamings. | Eduardo Julian | 2021-07-30 | 4 | -4/+4 |
* | Re-named wrap => in && unwrap => out. | Eduardo Julian | 2021-07-27 | 1 | -1/+1 |
* | Re-named "spec" hierarchy to "specification". | Eduardo Julian | 2021-07-15 | 5 | -5/+5 |
* | Normalized the hierarchy of the standard library modules. | Eduardo Julian | 2021-07-14 | 5 | -70/+75 |
* | Better syntax for parallel-hierarchy imports. | Eduardo Julian | 2021-07-12 | 5 | -25/+20 |
* | Constraining the year of the snapshot time in Aedifex. | Eduardo Julian | 2021-06-12 | 3 | -14/+16 |
* | Improved compilation of loops and pattern-matching for Python. | Eduardo Julian | 2021-02-01 | 1 | -0/+66 |
* | Implemented arithmetic right-shift in terms of logic right-shift. | Eduardo Julian | 2021-01-28 | 1 | -0/+46 |
* | Made the Python being generated more compatible with both P2.7 and P3. | Eduardo Julian | 2021-01-26 | 1 | -2/+2 |
* | Removed the (ultimately redundant) on_stop function for actors. | Eduardo Julian | 2021-01-13 | 3 | -0/+129 |