Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | 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 |
| | |||||
* | More renamings. | Eduardo Julian | 2021-07-30 | 188 | -1024/+1127 |
| | |||||
* | Switched from the "from to" convention to the "minimum additional" convention. | Eduardo Julian | 2021-07-29 | 95 | -707/+832 |
| | |||||
* | Re-named List's tags: Nil => End && Cons => Item | Eduardo Julian | 2021-07-28 | 189 | -2177/+2346 |
| | |||||
* | Re-named wrap => in && unwrap => out. | Eduardo Julian | 2021-07-27 | 451 | -8640/+8789 |
| | |||||
* | Re-named Promise to Async. | Eduardo Julian | 2021-07-26 | 206 | -2231/+2354 |
| |