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