| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | No more annotations. | Eduardo Julian | 2021-09-08 | 33 | -772/+301 |
| | | |||||
| * | Normalized the syntax of "abstract:" and "actor:". | Eduardo Julian | 2021-09-08 | 90 | -9875/+9645 |
| | | |||||
| * | No more module annotations. | Eduardo Julian | 2021-09-08 | 12 | -120/+25 |
| | | |||||
| * | Now using eval to derive code for arbitrary types. | Eduardo Julian | 2021-09-08 | 11 | -580/+51 |
| | | |||||
| * | Eliminated the last application of annotations. | Eduardo Julian | 2021-09-07 | 4 | -59/+45 |
| | | |||||
| * | De-taggification | part 4 | Eduardo Julian | 2021-09-07 | 975 | -9152/+9156 |
| | | |||||
| * | New chapter on compiler extensions. | Eduardo Julian | 2021-09-06 | 23 | -14/+1121 |
| | | |||||
| * | Applied new convention for variants. | Eduardo Julian | 2021-09-06 | 11 | -150/+147 |
| | | |||||
| * | Documentation improvements. | Eduardo Julian | 2021-09-06 | 10 | -76/+118 |
| | | |||||
| * | Changed the syntax of do/be's (co)monad bindings. | Eduardo Julian | 2021-09-05 | 333 | -966/+966 |
| | | |||||
| * | Added a chapter on cross-platform Lux. | Eduardo Julian | 2021-09-05 | 25 | -155/+402 |
| | | |||||
| * | Clearing the local scope during eval analysis to avoid accidentally seeing ↵ | Eduardo Julian | 2021-09-05 | 7 | -26/+53 |
| | | | | | variables outside of eval's scope. | ||||
| * | De-taggification | part 3 | Eduardo Julian | 2021-09-05 | 6 | -167/+134 |
| | | |||||
| * | Handled formatting issues in documentation. | Eduardo Julian | 2021-09-05 | 34 | -355/+220 |
| | | |||||
| * | Appendix H: Aedifex | Eduardo Julian | 2021-09-04 | 5 | -15/+295 |
| | | |||||
| * | Better type-declaration documentation. | Eduardo Julian | 2021-09-04 | 5 | -33/+45 |
| | | |||||
| * | De-taggification | part 2 | Eduardo Julian | 2021-09-04 | 1014 | -6764/+6764 |
| | | |||||
| * | Unified tuple and record syntax. | Eduardo Julian | 2021-09-03 | 213 | -1737/+1859 |
| | | |||||
| * | De-taggification | part 1 | Eduardo Julian | 2021-09-01 | 37 | -202/+225 |
| | | |||||
| * | Updates to the JS compiler. | Eduardo Julian | 2021-09-01 | 19 | -273/+297 |
| | | |||||
| * | Better tagged type documentation + lexer fix. | Eduardo Julian | 2021-08-30 | 5 | -21/+30 |
| | | |||||
| * | De-taggification | part 0 | Eduardo Julian | 2021-08-29 | 67 | -36917/+571 |
| | | |||||
| * | Better parameterized type documentation. | Eduardo Julian | 2021-08-29 | 92 | -279/+36928 |
| | | |||||
| * | Made labels (tags & slots) into a form of global binding. | Eduardo Julian | 2021-08-29 | 41 | -636/+1000 |
| | | |||||
| * | Updates to the Ruby compiler. | Eduardo Julian | 2021-08-27 | 297 | -2283/+2927 |
| | | |||||
| * | "Interface" instead of "interface:", and "Rec" can be used in type definition. | Eduardo Julian | 2021-08-26 | 72 | -742/+766 |
| | | |||||
| * | Updates to the Lua compiler. | Eduardo Julian | 2021-08-25 | 138 | -2399/+4175 |
| | | |||||
| * | Outsourced the syntax for labelled type definitions to macros. | Eduardo Julian | 2021-08-24 | 586 | -6915/+8628 |
| | | |||||
| * | The Python compiler can now be compiled by the new JVM compiler. | Eduardo Julian | 2021-08-23 | 331 | -2925/+4339 |
| | | |||||
| * | Can now produce arbitrary code fragments statically by evaluating arbitrary ↵ | Eduardo Julian | 2021-08-21 | 52 | -184/+2302 |
| | | | | | expressions at compile-time. | ||||
| * | More fixes. | Eduardo Julian | 2021-08-20 | 54 | -441/+2045 |
| | | |||||
| * | Enabled compile-time code evaluation (i.e. "eval" function). | Eduardo Julian | 2021-08-19 | 112 | -1035/+3426 |
| | | |||||
| * | Some bug fixes. | Eduardo Julian | 2021-08-18 | 458 | -3949/+5297 |
| | | |||||
| * | Made extension-definition macros specify their bindings the same way as syntax:. | Eduardo Julian | 2021-08-16 | 279 | -1890/+3010 |
| | | |||||
| * | Moved documentation-generation machinery to its own module. | Eduardo Julian | 2021-08-14 | 112 | -508/+1485 |
| | | |||||
| * | Made program: specify its bindings the same way as syntax:. | Eduardo Julian | 2021-08-13 | 195 | -1156/+1614 |
| | | |||||
| * | Improved binding syntax for "syntax:". | Eduardo Julian | 2021-08-12 | 206 | -1020/+1484 |
| | | |||||
| * | Relocated maybe and lazy from data to control. | Eduardo Julian | 2021-08-11 | 436 | -3787/+4167 |
| | | |||||
| * | Improved single-line comment syntax (from "##" to "..."). | Eduardo Julian | 2021-08-09 | 335 | -3281/+3847 |
| | | |||||
| * | No more #export magic syntax. | Eduardo Julian | 2021-08-08 | 818 | -6368/+6723 |
| | | |||||
| * | Made the be/de macros for (co)monadic expression extensible. | Eduardo Julian | 2021-08-07 | 298 | -1916/+2281 |
| | | |||||
| * | Fixed a bug in the new compiler which allowed the same module to be imported ↵ | Eduardo Julian | 2021-08-02 | 152 | -1111/+1530 |
| | | | | | more than once. | ||||
| * | Even more renamings. | Eduardo Julian | 2021-08-01 | 212 | -1101/+1338 |
| | | |||||
| * | Yet more renamings. | Eduardo Julian | 2021-07-31 | 73 | -751/+1186 |
| | | |||||
| * | More renamings. | Eduardo Julian | 2021-07-30 | 190 | -1024/+1501 |
| | | |||||
| * | Switched from the "from to" convention to the "minimum additional" convention. | Eduardo Julian | 2021-07-29 | 102 | -707/+1026 |
| | | |||||
| * | Re-named List's tags: Nil => End && Cons => Item | Eduardo Julian | 2021-07-28 | 194 | -2175/+2578 |
| | | |||||
| * | Re-named wrap => in && unwrap => out. | Eduardo Julian | 2021-07-27 | 463 | -8686/+8995 |
| | | |||||
| * | Re-named Promise to Async. | Eduardo Julian | 2021-07-26 | 213 | -2229/+2463 |
| | | |||||
| * | Better syntax for "library/lux.^multi". | Eduardo Julian | 2021-07-25 | 279 | -2670/+2773 |
| | | |||||
