Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Better text formatting for types. | Eduardo Julian | 2022-01-20 | 1 | -55/+53 |
| | |||||
* | Fixed a logging/reporting issue for Lux/JS. | Eduardo Julian | 2022-01-15 | 2 | -8/+17 |
| | |||||
* | New packaging for Ruby programs. | Eduardo Julian | 2021-11-29 | 3 | -28/+43 |
| | |||||
* | Properly inheriting the default profile in Aedifex. | Eduardo Julian | 2021-10-31 | 3 | -3/+2 |
| | |||||
* | Fixed packaging issue. | Eduardo Julian | 2021-10-09 | 9 | -259/+261 |
| | |||||
* | "module:" => "using" | Eduardo Julian | 2021-09-15 | 53 | -53/+53 |
| | |||||
* | "Row" => "Sequence" | Eduardo Julian | 2021-09-15 | 3 | -6/+5 |
| | |||||
* | Re-named "recur" to "again". | Eduardo Julian | 2021-09-14 | 6 | -11/+11 |
| | |||||
* | Re-named "Identifier" to "Symbol". | Eduardo Julian | 2021-09-14 | 1 | -1/+1 |
| | |||||
* | No more "^slots". | Eduardo Julian | 2021-09-14 | 7 | -22/+22 |
| | |||||
* | Re-named "Name" to "Symbol". | Eduardo Julian | 2021-09-14 | 12 | -12/+12 |
| | |||||
* | Updated only/except import syntax to take into account record => variant ↵ | Eduardo Julian | 2021-09-13 | 53 | -420/+420 |
| | | | | syntax change. | ||||
* | Re-named \ => # && \\ => ## | Eduardo Julian | 2021-09-12 | 34 | -251/+251 |
| | |||||
* | Made the "#" character great again! | Eduardo Julian | 2021-09-12 | 37 | -393/+393 |
| | |||||
* | Undid the foolish re-design of "abstract:" and "actor:". | Eduardo Julian | 2021-09-10 | 1 | -129/+129 |
| | |||||
* | Fixed the indentation of variants. | Eduardo Julian | 2021-09-10 | 5 | -28/+28 |
| | |||||
* | Migrated variants to the new syntax. | Eduardo Julian | 2021-09-10 | 35 | -203/+203 |
| | |||||
* | De-bracing | part 2 | Eduardo Julian | 2021-09-08 | 2 | -4/+4 |
| | |||||
* | De-bracing | part 1 | Eduardo Julian | 2021-09-08 | 1 | -2/+0 |
| | |||||
* | Normalized syntax of "exception:", "actor:" and "message:". | Eduardo Julian | 2021-09-08 | 7 | -11/+17 |
| | |||||
* | Normalized the syntax of "abstract:" and "actor:". | Eduardo Julian | 2021-09-08 | 1 | -130/+128 |
| | |||||
* | Now using eval to derive code for arbitrary types. | Eduardo Julian | 2021-09-08 | 1 | -522/+0 |
| | |||||
* | De-taggification | part 4 | Eduardo Julian | 2021-09-07 | 52 | -597/+597 |
| | |||||
* | Changed the syntax of do/be's (co)monad bindings. | Eduardo Julian | 2021-09-05 | 18 | -32/+32 |
| | |||||
* | De-taggification | part 3 | Eduardo Julian | 2021-09-05 | 2 | -22/+15 |
| | |||||
* | Appendix H: Aedifex | Eduardo Julian | 2021-09-04 | 1 | -1/+1 |
| | |||||
* | De-taggification | part 2 | Eduardo Julian | 2021-09-04 | 54 | -514/+514 |
| | |||||
* | Unified tuple and record syntax. | Eduardo Julian | 2021-09-03 | 23 | -114/+118 |
| | |||||
* | Updates to the JS compiler. | Eduardo Julian | 2021-09-01 | 1 | -12/+13 |
| | |||||
* | De-taggification | part 0 | Eduardo Julian | 2021-08-29 | 3 | -3/+3 |
| | |||||
* | Better parameterized type documentation. | Eduardo Julian | 2021-08-29 | 1 | -112/+112 |
| | |||||
* | Updates to the Ruby compiler. | Eduardo Julian | 2021-08-27 | 14 | -327/+327 |
| | |||||
* | "Interface" instead of "interface:", and "Rec" can be used in type definition. | Eduardo Julian | 2021-08-26 | 1 | -14/+16 |
| | |||||
* | Updates to the Lua compiler. | Eduardo Julian | 2021-08-25 | 23 | -112/+144 |
| | |||||
* | Outsourced the syntax for labelled type definitions to macros. | Eduardo Julian | 2021-08-24 | 26 | -210/+210 |
| | |||||
* | The Python compiler can now be compiled by the new JVM compiler. | Eduardo Julian | 2021-08-23 | 17 | -85/+85 |
| | |||||
* | Enabled compile-time code evaluation (i.e. "eval" function). | Eduardo Julian | 2021-08-19 | 1 | -11/+12 |
| | |||||
* | Some bug fixes. | Eduardo Julian | 2021-08-18 | 26 | -262/+263 |
| | |||||
* | Made extension-definition macros specify their bindings the same way as syntax:. | Eduardo Julian | 2021-08-16 | 8 | -42/+42 |
| | |||||
* | Moved documentation-generation machinery to its own module. | Eduardo Julian | 2021-08-14 | 3 | -4/+4 |
| | |||||
* | Made program: specify its bindings the same way as syntax:. | Eduardo Julian | 2021-08-13 | 10 | -29/+29 |
| | |||||
* | Improved binding syntax for "syntax:". | Eduardo Julian | 2021-08-12 | 9 | -19/+19 |
| | |||||
* | Relocated maybe and lazy from data to control. | Eduardo Julian | 2021-08-11 | 17 | -40/+38 |
| | |||||
* | Improved single-line comment syntax (from "##" to "..."). | Eduardo Julian | 2021-08-09 | 18 | -80/+80 |
| | |||||
* | No more #export magic syntax. | Eduardo Julian | 2021-08-08 | 53 | -232/+234 |
| | |||||
* | Made the be/de macros for (co)monadic expression extensible. | Eduardo Julian | 2021-08-07 | 17 | -67/+67 |
| | |||||
* | Fixed a bug in the new compiler which allowed the same module to be imported ↵ | Eduardo Julian | 2021-08-02 | 4 | -14/+14 |
| | | | | more than once. | ||||
* | Even more renamings. | Eduardo Julian | 2021-08-01 | 9 | -18/+18 |
| | |||||
* | Yet more renamings. | Eduardo Julian | 2021-07-31 | 1 | -2/+2 |
| | |||||
* | More renamings. | Eduardo Julian | 2021-07-30 | 8 | -48/+48 |
| |