aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Made sure the "phase" parameter of extensions is always usable (even across ↵Eduardo Julian2021-07-087-61/+110
| | | | language boundaries)
* 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
| | | Capabilities should be opt-in, but using them in the standard library makes them mandatory.
* "signature:" -> "interface:" & "structure:" -> "implementation:"Eduardo Julian2021-06-3011-40/+48
| | | "signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.
* 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
|
* Refactored the machinery to make local macros into its own module.Eduardo Julian2021-06-186-53/+90
|
* Extracted Licentia out of the standard library.Eduardo Julian2021-06-143-8/+17
|