Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Migrated variants to the new syntax. | Eduardo Julian | 2021-09-10 | 439 | -7108/+7175 |
| | |||||
* | The old record syntax has been re-purposed as variant syntax. | Eduardo Julian | 2021-09-09 | 23 | -709/+328 |
| | |||||
* | De-bracing | part 2 | Eduardo Julian | 2021-09-08 | 59 | -375/+358 |
| | |||||
* | De-bracing | part 1 | Eduardo Julian | 2021-09-08 | 21 | -111/+123 |
| | |||||
* | De-bracing part 0 | Eduardo Julian | 2021-09-08 | 8 | -48/+55 |
| | |||||
* | Normalized syntax of "exception:", "actor:" and "message:". | Eduardo Julian | 2021-09-08 | 89 | -263/+374 |
| | |||||
* | Post annotations clean-up. | Eduardo Julian | 2021-09-08 | 14 | -210/+28 |
| | |||||
* | No more annotations. | Eduardo Julian | 2021-09-08 | 25 | -711/+254 |
| | |||||
* | Normalized the syntax of "abstract:" and "actor:". | Eduardo Julian | 2021-09-08 | 90 | -11161/+10931 |
| | |||||
* | No more module annotations. | Eduardo Julian | 2021-09-08 | 6 | -67/+14 |
| | |||||
* | Now using eval to derive code for arbitrary types. | Eduardo Julian | 2021-09-08 | 10 | -579/+50 |
| | |||||
* | Eliminated the last application of annotations. | Eduardo Julian | 2021-09-07 | 4 | -59/+45 |
| | |||||
* | De-taggification | part 4 | Eduardo Julian | 2021-09-07 | 920 | -8355/+8359 |
| | |||||
* | New chapter on compiler extensions. | Eduardo Julian | 2021-09-06 | 21 | -14/+869 |
| | |||||
* | Applied new convention for variants. | Eduardo Julian | 2021-09-06 | 3 | -43/+12 |
| | |||||
* | Documentation improvements. | Eduardo Julian | 2021-09-06 | 10 | -77/+119 |
| | |||||
* | Changed the syntax of do/be's (co)monad bindings. | Eduardo Julian | 2021-09-05 | 323 | -933/+933 |
| | |||||
* | Clearing the local scope during eval analysis to avoid accidentally seeing ↵ | Eduardo Julian | 2021-09-05 | 3 | -6/+21 |
| | | | | variables outside of eval's scope. | ||||
* | De-taggification | part 3 | Eduardo Julian | 2021-09-05 | 5 | -119/+86 |
| | |||||
* | Handled formatting issues in documentation. | Eduardo Julian | 2021-09-05 | 31 | -350/+204 |
| | |||||
* | Appendix H: Aedifex | Eduardo Julian | 2021-09-04 | 2 | -14/+72 |
| | |||||
* | Better type-declaration documentation. | Eduardo Julian | 2021-09-04 | 5 | -33/+45 |
| | |||||
* | De-taggification | part 2 | Eduardo Julian | 2021-09-04 | 956 | -6282/+6282 |
| | |||||
* | Unified tuple and record syntax. | Eduardo Julian | 2021-09-03 | 182 | -1498/+1577 |
| | |||||
* | De-taggification | part 1 | Eduardo Julian | 2021-09-01 | 20 | -182/+162 |
| | |||||
* | Updates to the JS compiler. | Eduardo Julian | 2021-09-01 | 14 | -204/+195 |
| | |||||
* | Better tagged type documentation + lexer fix. | Eduardo Julian | 2021-08-30 | 5 | -22/+31 |
| | |||||
* | De-taggification | part 0 | Eduardo Julian | 2021-08-29 | 50 | -36817/+325 |
| | |||||
* | Better parameterized type documentation. | Eduardo Julian | 2021-08-29 | 91 | -276/+36926 |
| | |||||
* | Made labels (tags & slots) into a form of global binding. | Eduardo Julian | 2021-08-29 | 25 | -390/+616 |
| | |||||
* | Updates to the Ruby compiler. | Eduardo Julian | 2021-08-27 | 277 | -2229/+2749 |
| | |||||
* | "Interface" instead of "interface:", and "Rec" can be used in type definition. | Eduardo Julian | 2021-08-26 | 70 | -749/+641 |
| | |||||
* | Updates to the Lua compiler. | Eduardo Julian | 2021-08-25 | 128 | -1696/+3294 |
| | |||||
* | Outsourced the syntax for labelled type definitions to macros. | Eduardo Julian | 2021-08-24 | 557 | -6579/+8048 |
| | |||||
* | The Python compiler can now be compiled by the new JVM compiler. | Eduardo Julian | 2021-08-23 | 310 | -2810/+4120 |
| | |||||
* | Can now produce arbitrary code fragments statically by evaluating arbitrary ↵ | Eduardo Julian | 2021-08-21 | 48 | -184/+2048 |
| | | | | expressions at compile-time. | ||||
* | More fixes. | Eduardo Julian | 2021-08-20 | 49 | -434/+2009 |
| | |||||
* | Enabled compile-time code evaluation (i.e. "eval" function). | Eduardo Julian | 2021-08-19 | 69 | -471/+2645 |
| | |||||
* | Some bug fixes. | Eduardo Julian | 2021-08-18 | 416 | -3326/+4522 |
| | |||||
* | Made extension-definition macros specify their bindings the same way as syntax:. | Eduardo Julian | 2021-08-16 | 259 | -1815/+2930 |
| | |||||
* | Moved documentation-generation machinery to its own module. | Eduardo Julian | 2021-08-14 | 98 | -467/+1251 |
| | |||||
* | Made program: specify its bindings the same way as syntax:. | Eduardo Julian | 2021-08-13 | 175 | -1106/+1356 |
| | |||||
* | Improved binding syntax for "syntax:". | Eduardo Julian | 2021-08-12 | 195 | -997/+1346 |
| | |||||
* | Relocated maybe and lazy from data to control. | Eduardo Julian | 2021-08-11 | 408 | -3648/+3770 |
| | |||||
* | Improved single-line comment syntax (from "##" to "..."). | Eduardo Julian | 2021-08-09 | 300 | -2849/+3111 |
| | |||||
* | No more #export magic syntax. | Eduardo Julian | 2021-08-08 | 769 | -6111/+6452 |
| | |||||
* | Made the be/de macros for (co)monadic expression extensible. | Eduardo Julian | 2021-08-07 | 284 | -1920/+2074 |
| | |||||
* | Fixed a bug in the new compiler which allowed the same module to be imported ↵ | Eduardo Julian | 2021-08-02 | 134 | -596/+689 |
| | | | | more than once. | ||||
* | Even more renamings. | Eduardo Julian | 2021-08-01 | 204 | -1104/+1135 |
| | |||||
* | Yet more renamings. | Eduardo Julian | 2021-07-31 | 70 | -754/+873 |
| |