aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Re-named \ => # && \\ => ##Eduardo Julian2021-09-1230-219/+219
|
* Made the "#" character great again!Eduardo Julian2021-09-1233-336/+336
|
* 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-1030-169/+169
|
* De-bracing | part 2Eduardo Julian2021-09-081-2/+2
|
* De-bracing | part 1Eduardo Julian2021-09-081-2/+0
|
* Normalized syntax of "exception:", "actor:" and "message:".Eduardo Julian2021-09-085-8/+13
|
* Normalized the syntax of "abstract:" and "actor:".Eduardo Julian2021-09-081-130/+128
|
* De-taggification | part 4Eduardo Julian2021-09-0746-488/+488
|
* Changed the syntax of do/be's (co)monad bindings.Eduardo Julian2021-09-0514-25/+25
|
* De-taggification | part 3Eduardo Julian2021-09-052-22/+15
|
* Appendix H: AedifexEduardo Julian2021-09-041-1/+1
|
* De-taggification | part 2Eduardo Julian2021-09-0447-430/+430
|
* Unified tuple and record syntax.Eduardo Julian2021-09-0320-100/+103
|
* Updates to the JS compiler.Eduardo Julian2021-09-011-12/+13
|
* De-taggification | part 0Eduardo Julian2021-08-293-3/+3
|
* Updates to the Ruby compiler.Eduardo Julian2021-08-2710-18/+18
|
* "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-2520-103/+133
|
* Outsourced the syntax for labelled type definitions to macros.Eduardo Julian2021-08-2421-94/+94
|
* The Python compiler can now be compiled by the new JVM compiler.Eduardo Julian2021-08-2315-57/+57
|
* Some bug fixes.Eduardo Julian2021-08-1823-212/+215
|
* Made extension-definition macros specify their bindings the same way as syntax:.Eduardo Julian2021-08-166-19/+19
|
* Moved documentation-generation machinery to its own module.Eduardo Julian2021-08-142-3/+3
|
* Made program: specify its bindings the same way as syntax:.Eduardo Julian2021-08-137-18/+18
|
* Improved binding syntax for "syntax:".Eduardo Julian2021-08-128-18/+18
|
* Relocated maybe and lazy from data to control.Eduardo Julian2021-08-1113-21/+19
|
* Improved single-line comment syntax (from "##" to "...").Eduardo Julian2021-08-0915-66/+66
|
* No more #export magic syntax.Eduardo Julian2021-08-0847-213/+215
|
* Made the be/de macros for (co)monadic expression extensible.Eduardo Julian2021-08-0713-30/+30
|
* Fixed a bug in the new compiler which allowed the same module to be imported ↵Eduardo Julian2021-08-021-4/+4
| | | | more than once.
* Even more renamings.Eduardo Julian2021-08-016-13/+13
|
* Yet more renamings.Eduardo Julian2021-07-311-2/+2
|
* More renamings.Eduardo Julian2021-07-307-41/+41
|
* Re-named List's tags: Nil => End && Cons => ItemEduardo Julian2021-07-285-16/+16
|
* Re-named wrap => in && unwrap => out.Eduardo Julian2021-07-2725-134/+134
|
* Re-named Promise to Async.Eduardo Julian2021-07-2618-132/+132
|
* Better syntax for "library/lux.^multi".Eduardo Julian2021-07-2510-46/+46
|
* Now packaging JVM programs as "fat" jars in new JVM compiler.Eduardo Julian2021-07-242-17/+124
|
* New JVM compiler can now compile JVM interfaces.Eduardo Julian2021-07-182-1/+5
|
* Now allowing compilers to generate custom-named outputs.Eduardo Julian2021-07-172-7/+9
|
* Now properly loading cached modules.Eduardo Julian2021-07-172-15/+13
|
* Fixed some inconsistent naming.Eduardo Julian2021-07-161-0/+6
|
* Normalized the hierarchy of the standard library modules.Eduardo Julian2021-07-1447-752/+799
|
* Improved the XML parsing library.Eduardo Julian2021-07-138-94/+65
|
* A bit more clarity for Licentia licenses.Eduardo Julian2021-07-127-85/+185
|
* Better syntax for parallel-hierarchy imports.Eduardo Julian2021-07-124-37/+57
|
* Re-named ":coerce" to ":as" since it technically doesn't do coercions.Eduardo Julian2021-07-119-19/+41
|
* Made the "try" macro into a common one, instead of a host-specific one.Eduardo Julian2021-07-102-8/+16
|