Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adjusted new compilers to work with the new variant syntax. | Eduardo Julian | 2021-09-10 | 8 | -49/+77 |
| | |||||
* | Undid the foolish re-design of "abstract:" and "actor:". | Eduardo Julian | 2021-09-10 | 90 | -10884/+10885 |
| | |||||
* | Fixed the indentation of variants. | Eduardo Julian | 2021-09-10 | 46 | -674/+674 |
| | |||||
* | 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 | 7 | -571/+43 |
| | |||||
* | 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 | 4 | -71/+38 |
| | |||||
* | Handled formatting issues in documentation. | Eduardo Julian | 2021-09-05 | 31 | -350/+204 |
| | |||||
* | Appendix H: Aedifex | Eduardo Julian | 2021-09-04 | 1 | -1/+1 |
| | |||||
* | 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 | 180 | -1484/+1559 |
| | |||||
* | De-taggification | part 1 | Eduardo Julian | 2021-09-01 | 20 | -182/+162 |
| | |||||
* | Updates to the JS compiler. | Eduardo Julian | 2021-09-01 | 12 | -202/+186 |
| | |||||
* | Better tagged type documentation + lexer fix. | Eduardo Julian | 2021-08-30 | 5 | -22/+31 |
| | |||||
* | De-taggification | part 0 | Eduardo Julian | 2021-08-29 | 48 | -348/+324 |
| | |||||
* | Better parameterized type documentation. | Eduardo Julian | 2021-08-29 | 90 | -276/+458 |
| | |||||
* | 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 | 275 | -2229/+2742 |
| | |||||
* | "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 | 126 | -1676/+3272 |
| | |||||
* | 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 | 413 | -3319/+4495 |
| | |||||
* | 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 | 96 | -457/+1227 |
| | |||||
* | 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 |
| |