Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | De-bracing | part 1 | Eduardo Julian | 2021-09-08 | 13 | -94/+101 |
| | |||||
* | De-bracing part 0 | Eduardo Julian | 2021-09-08 | 5 | -13/+13 |
| | |||||
* | Normalized syntax of "exception:", "actor:" and "message:". | Eduardo Julian | 2021-09-08 | 76 | -243/+344 |
| | |||||
* | Post annotations clean-up. | Eduardo Julian | 2021-09-08 | 9 | -123/+25 |
| | |||||
* | No more annotations. | Eduardo Julian | 2021-09-08 | 20 | -700/+245 |
| | |||||
* | Normalized the syntax of "abstract:" and "actor:". | Eduardo Julian | 2021-09-08 | 85 | -10878/+10672 |
| | |||||
* | No more module annotations. | Eduardo Julian | 2021-09-08 | 3 | -55/+14 |
| | |||||
* | Now using eval to derive code for arbitrary types. | Eduardo Julian | 2021-09-08 | 1 | -25/+3 |
| | |||||
* | Eliminated the last application of annotations. | Eduardo Julian | 2021-09-07 | 3 | -49/+45 |
| | |||||
* | De-taggification | part 4 | Eduardo Julian | 2021-09-07 | 402 | -4071/+4075 |
| | |||||
* | New chapter on compiler extensions. | Eduardo Julian | 2021-09-06 | 6 | -7/+11 |
| | |||||
* | Applied new convention for variants. | Eduardo Julian | 2021-09-06 | 3 | -43/+12 |
| | |||||
* | Documentation improvements. | Eduardo Julian | 2021-09-06 | 6 | -58/+75 |
| | |||||
* | Changed the syntax of do/be's (co)monad bindings. | Eduardo Julian | 2021-09-05 | 149 | -382/+382 |
| | |||||
* | 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. | ||||
* | Handled formatting issues in documentation. | Eduardo Julian | 2021-09-05 | 2 | -19/+16 |
| | |||||
* | Better type-declaration documentation. | Eduardo Julian | 2021-09-04 | 4 | -32/+44 |
| | |||||
* | De-taggification | part 2 | Eduardo Julian | 2021-09-04 | 447 | -3409/+3409 |
| | |||||
* | Unified tuple and record syntax. | Eduardo Julian | 2021-09-03 | 124 | -1039/+1110 |
| | |||||
* | De-taggification | part 1 | Eduardo Julian | 2021-09-01 | 13 | -82/+62 |
| | |||||
* | Updates to the JS compiler. | Eduardo Julian | 2021-09-01 | 8 | -148/+99 |
| | |||||
* | Better tagged type documentation + lexer fix. | Eduardo Julian | 2021-08-30 | 3 | -20/+29 |
| | |||||
* | De-taggification | part 0 | Eduardo Julian | 2021-08-29 | 32 | -283/+269 |
| | |||||
* | Better parameterized type documentation. | Eduardo Julian | 2021-08-29 | 4 | -36/+218 |
| | |||||
* | Made labels (tags & slots) into a form of global binding. | Eduardo Julian | 2021-08-29 | 22 | -341/+581 |
| | |||||
* | Updates to the Ruby compiler. | Eduardo Julian | 2021-08-27 | 184 | -1647/+1826 |
| | |||||
* | "Interface" instead of "interface:", and "Rec" can be used in type definition. | Eduardo Julian | 2021-08-26 | 49 | -633/+499 |
| | |||||
* | Updates to the Lua compiler. | Eduardo Julian | 2021-08-25 | 68 | -1451/+602 |
| | |||||
* | Outsourced the syntax for labelled type definitions to macros. | Eduardo Julian | 2021-08-24 | 326 | -5098/+5209 |
| | |||||
* | The Python compiler can now be compiled by the new JVM compiler. | Eduardo Julian | 2021-08-23 | 196 | -2281/+2095 |
| | |||||
* | Can now produce arbitrary code fragments statically by evaluating arbitrary ↵ | Eduardo Julian | 2021-08-21 | 23 | -148/+111 |
| | | | | expressions at compile-time. | ||||
* | More fixes. | Eduardo Julian | 2021-08-20 | 23 | -399/+113 |
| | |||||
* | Enabled compile-time code evaluation (i.e. "eval" function). | Eduardo Julian | 2021-08-19 | 38 | -433/+271 |
| | |||||
* | Some bug fixes. | Eduardo Julian | 2021-08-18 | 225 | -2213/+1945 |
| | |||||
* | Made extension-definition macros specify their bindings the same way as syntax:. | Eduardo Julian | 2021-08-16 | 155 | -1232/+935 |
| | |||||
* | Moved documentation-generation machinery to its own module. | Eduardo Julian | 2021-08-14 | 51 | -274/+623 |
| | |||||
* | Made program: specify its bindings the same way as syntax:. | Eduardo Julian | 2021-08-13 | 110 | -705/+886 |
| | |||||
* | Improved binding syntax for "syntax:". | Eduardo Julian | 2021-08-12 | 128 | -779/+965 |
| | |||||
* | Relocated maybe and lazy from data to control. | Eduardo Julian | 2021-08-11 | 256 | -2594/+2700 |
| | |||||
* | Improved single-line comment syntax (from "##" to "..."). | Eduardo Julian | 2021-08-09 | 217 | -2393/+2617 |
| | |||||
* | No more #export magic syntax. | Eduardo Julian | 2021-08-08 | 445 | -5355/+5677 |
| | |||||
* | Made the be/de macros for (co)monadic expression extensible. | Eduardo Julian | 2021-08-07 | 138 | -1263/+1392 |
| | |||||
* | Fixed a bug in the new compiler which allowed the same module to be imported ↵ | Eduardo Julian | 2021-08-02 | 100 | -486/+538 |
| | | | | more than once. | ||||
* | Even more renamings. | Eduardo Julian | 2021-08-01 | 155 | -802/+802 |
| | |||||
* | Yet more renamings. | Eduardo Julian | 2021-07-31 | 55 | -621/+736 |
| | |||||
* | More renamings. | Eduardo Julian | 2021-07-30 | 101 | -692/+737 |
| | |||||
* | Switched from the "from to" convention to the "minimum additional" convention. | Eduardo Julian | 2021-07-29 | 74 | -616/+702 |
| | |||||
* | Re-named List's tags: Nil => End && Cons => Item | Eduardo Julian | 2021-07-28 | 148 | -1521/+1672 |
| | |||||
* | Re-named wrap => in && unwrap => out. | Eduardo Julian | 2021-07-27 | 282 | -5656/+5799 |
| | |||||
* | Re-named Promise to Async. | Eduardo Julian | 2021-07-26 | 116 | -1494/+1561 |
| |