aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* Made sure the "phase" parameter of extensions is always usable (even across l...Eduardo Julian2021-07-087-61/+110
* Simplified the API for file-system operations.Eduardo Julian2021-07-0613-150/+160
* No longer employing the capabilities model on the lux/world/* modules.Eduardo Julian2021-07-0215-190/+144
* "signature:" -> "interface:" & "structure:" -> "implementation:"Eduardo Julian2021-06-3011-40/+48
* Made obtaining env variables more granular + partial Lua support.Eduardo Julian2021-06-2713-112/+149
* Added a macro for type-casting JVM objects.Eduardo Julian2021-06-246-72/+97
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 14:01:48 +0000