Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Re-named "primitive" to "Primitive". | Eduardo Julian | 2021-09-13 | 40 | -135/+136 |
| | |||||
* | Updated new compilers w.r.t. removal of tags/labels. | Eduardo Julian | 2021-09-13 | 13 | -274/+114 |
| | |||||
* | Re-named #Label to #Tag. | Eduardo Julian | 2021-09-13 | 9 | -24/+24 |
| | |||||
* | Updated only/except import syntax to take into account record => variant ↵ | Eduardo Julian | 2021-09-13 | 948 | -5006/+5006 |
| | | | | syntax change. | ||||
* | Re-named \ => # && \\ => ## | Eduardo Julian | 2021-09-12 | 593 | -6525/+6520 |
| | |||||
* | Made the "#" character great again! | Eduardo Julian | 2021-09-12 | 498 | -8941/+8838 |
| | |||||
* | 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 |
| |