Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Undid the foolish re-design of "abstract:" and "actor:". | Eduardo Julian | 2021-09-10 | 85 | -10623/+10624 | |
| | ||||||
* | Fixed the indentation of variants. | Eduardo Julian | 2021-09-10 | 27 | -532/+532 | |
| | ||||||
* | Migrated variants to the new syntax. | Eduardo Julian | 2021-09-10 | 252 | -5355/+5421 | |
| | ||||||
* | The old record syntax has been re-purposed as variant syntax. | Eduardo Julian | 2021-09-09 | 15 | -511/+309 | |
| | ||||||
* | De-bracing | part 2 | Eduardo Julian | 2021-09-08 | 42 | -227/+253 | |
| | ||||||
* | 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 | |
| |