aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program (follow)
Commit message (Collapse)AuthorAgeFilesLines
* New packaging for Ruby programs.Eduardo Julian2021-11-293-28/+43
|
* Properly inheriting the default profile in Aedifex.Eduardo Julian2021-10-313-3/+2
|
* Fixed packaging issue.Eduardo Julian2021-10-099-259/+261
|
* "module:" => "using"Eduardo Julian2021-09-1553-53/+53
|
* "Row" => "Sequence"Eduardo Julian2021-09-153-6/+5
|
* Re-named "recur" to "again".Eduardo Julian2021-09-146-11/+11
|
* Re-named "Identifier" to "Symbol".Eduardo Julian2021-09-141-1/+1
|
* No more "^slots".Eduardo Julian2021-09-147-22/+22
|
* Re-named "Name" to "Symbol".Eduardo Julian2021-09-1412-12/+12
|
* Updated only/except import syntax to take into account record => variant ↵Eduardo Julian2021-09-1353-420/+420
| | | | syntax change.
* Re-named \ => # && \\ => ##Eduardo Julian2021-09-1234-251/+251
|
* Made the "#" character great again!Eduardo Julian2021-09-1237-393/+393
|
* Undid the foolish re-design of "abstract:" and "actor:".Eduardo Julian2021-09-101-129/+129
|
* Fixed the indentation of variants.Eduardo Julian2021-09-105-28/+28
|
* Migrated variants to the new syntax.Eduardo Julian2021-09-1035-203/+203
|
* De-bracing | part 2Eduardo Julian2021-09-082-4/+4
|
* De-bracing | part 1Eduardo Julian2021-09-081-2/+0
|
* Normalized syntax of "exception:", "actor:" and "message:".Eduardo Julian2021-09-087-11/+17
|
* Normalized the syntax of "abstract:" and "actor:".Eduardo Julian2021-09-081-130/+128
|
* Now using eval to derive code for arbitrary types.Eduardo Julian2021-09-081-522/+0
|
* De-taggification | part 4Eduardo Julian2021-09-0752-597/+597
|
* Changed the syntax of do/be's (co)monad bindings.Eduardo Julian2021-09-0518-32/+32
|
* De-taggification | part 3Eduardo Julian2021-09-052-22/+15
|
* Appendix H: AedifexEduardo Julian2021-09-041-1/+1
|
* De-taggification | part 2Eduardo Julian2021-09-0454-514/+514
|
* Unified tuple and record syntax.Eduardo Julian2021-09-0323-114/+118
|
* Updates to the JS compiler.Eduardo Julian2021-09-011-12/+13
|
* De-taggification | part 0Eduardo Julian2021-08-293-3/+3
|
* Better parameterized type documentation.Eduardo Julian2021-08-291-112/+112
|
* Updates to the Ruby compiler.Eduardo Julian2021-08-2714-327/+327
|
* "Interface" instead of "interface:", and "Rec" can be used in type definition.Eduardo Julian2021-08-261-14/+16
|
* Updates to the Lua compiler.Eduardo Julian2021-08-2523-112/+144
|
* Outsourced the syntax for labelled type definitions to macros.Eduardo Julian2021-08-2426-210/+210
|
* The Python compiler can now be compiled by the new JVM compiler.Eduardo Julian2021-08-2317-85/+85
|
* Enabled compile-time code evaluation (i.e. "eval" function).Eduardo Julian2021-08-191-11/+12
|
* Some bug fixes.Eduardo Julian2021-08-1826-262/+263
|
* Made extension-definition macros specify their bindings the same way as syntax:.Eduardo Julian2021-08-168-42/+42
|
* Moved documentation-generation machinery to its own module.Eduardo Julian2021-08-143-4/+4
|
* Made program: specify its bindings the same way as syntax:.Eduardo Julian2021-08-1310-29/+29
|
* Improved binding syntax for "syntax:".Eduardo Julian2021-08-129-19/+19
|
* Relocated maybe and lazy from data to control.Eduardo Julian2021-08-1117-40/+38
|
* Improved single-line comment syntax (from "##" to "...").Eduardo Julian2021-08-0918-80/+80
|
* No more #export magic syntax.Eduardo Julian2021-08-0853-232/+234
|
* Made the be/de macros for (co)monadic expression extensible.Eduardo Julian2021-08-0717-67/+67
|
* Fixed a bug in the new compiler which allowed the same module to be imported ↵Eduardo Julian2021-08-024-14/+14
| | | | more than once.
* Even more renamings.Eduardo Julian2021-08-019-18/+18
|
* Yet more renamings.Eduardo Julian2021-07-311-2/+2
|
* More renamings.Eduardo Julian2021-07-308-48/+48
|
* Switched from the "from to" convention to the "minimum additional" convention.Eduardo Julian2021-07-291-1/+1
|
* Re-named List's tags: Nil => End && Cons => ItemEduardo Julian2021-07-287-29/+29
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 15:00:33 +0000