| Commit message (Expand) | Author | Age | Files | Lines |
* | De-taggification | part 4 | Eduardo Julian | 2021-09-07 | 1 | -10/+10 |
* | Changed the syntax of do/be's (co)monad bindings. | Eduardo Julian | 2021-09-05 | 1 | -2/+2 |
* | De-taggification | part 2 | Eduardo Julian | 2021-09-04 | 1 | -9/+9 |
* | 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 | 1 | -3/+3 |
* | The Python compiler can now be compiled by the new JVM compiler. | Eduardo Julian | 2021-08-23 | 1 | -5/+5 |
* | Some bug fixes. | Eduardo Julian | 2021-08-18 | 1 | -4/+4 |
* | Made extension-definition macros specify their bindings the same way as syntax:. | Eduardo Julian | 2021-08-16 | 1 | -1/+1 |
* | Improved binding syntax for "syntax:". | Eduardo Julian | 2021-08-12 | 1 | -1/+1 |
* | Relocated maybe and lazy from data to control. | Eduardo Julian | 2021-08-11 | 1 | -2/+2 |
* | Improved single-line comment syntax (from "##" to "..."). | Eduardo Julian | 2021-08-09 | 1 | -9/+9 |
* | No more #export magic syntax. | Eduardo Julian | 2021-08-08 | 1 | -2/+2 |
* | Made the be/de macros for (co)monadic expression extensible. | Eduardo Julian | 2021-08-07 | 1 | -2/+2 |
* | Even more renamings. | Eduardo Julian | 2021-08-01 | 1 | -2/+2 |
* | Re-named List's tags: Nil => End && Cons => Item | Eduardo Julian | 2021-07-28 | 1 | -61/+61 |
* | Re-named wrap => in && unwrap => out. | Eduardo Julian | 2021-07-27 | 1 | -6/+6 |
* | Better syntax for "library/lux.^multi". | Eduardo Julian | 2021-07-25 | 1 | -3/+3 |
* | Re-named "spec" hierarchy to "specification". | Eduardo Julian | 2021-07-15 | 1 | -0/+288 |