aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* No more module annotations.Eduardo Julian2021-09-086-67/+14
* Now using eval to derive code for arbitrary types.Eduardo Julian2021-09-087-571/+43
* Eliminated the last application of annotations.Eduardo Julian2021-09-074-59/+45
* De-taggification | part 4Eduardo Julian2021-09-07920-8354/+8358
* New chapter on compiler extensions.Eduardo Julian2021-09-0621-14/+869
* Applied new convention for variants.Eduardo Julian2021-09-063-43/+12
* Documentation improvements.Eduardo Julian2021-09-0610-76/+118
* Changed the syntax of do/be's (co)monad bindings.Eduardo Julian2021-09-05323-933/+933
* Clearing the local scope during eval analysis to avoid accidentally seeing va...Eduardo Julian2021-09-053-6/+21
* De-taggification | part 3Eduardo Julian2021-09-054-71/+38
* Handled formatting issues in documentation.Eduardo Julian2021-09-0531-349/+203
* Appendix H: AedifexEduardo Julian2021-09-041-1/+1
* Better type-declaration documentation.Eduardo Julian2021-09-045-33/+45
* De-taggification | part 2Eduardo Julian2021-09-04956-6282/+6282
* Unified tuple and record syntax.Eduardo Julian2021-09-03180-1476/+1551
* De-taggification | part 1Eduardo Julian2021-09-0120-182/+162
* Updates to the JS compiler.Eduardo Julian2021-09-0112-202/+186
* Better tagged type documentation + lexer fix.Eduardo Julian2021-08-305-21/+30
* De-taggification | part 0Eduardo Julian2021-08-2948-345/+321
* Better parameterized type documentation.Eduardo Julian2021-08-2990-262/+444
* Made labels (tags & slots) into a form of global binding.Eduardo Julian2021-08-2925-387/+613
* Updates to the Ruby compiler.Eduardo Julian2021-08-27275-2180/+2693
* "Interface" instead of "interface:", and "Rec" can be used in type definition.Eduardo Julian2021-08-2670-741/+633
* Updates to the Lua compiler.Eduardo Julian2021-08-25126-1675/+3271
* Outsourced the syntax for labelled type definitions to macros.Eduardo Julian2021-08-24557-6541/+8010
* The Python compiler can now be compiled by the new JVM compiler.Eduardo Julian2021-08-23310-2790/+4100
* Can now produce arbitrary code fragments statically by evaluating arbitrary e...Eduardo Julian2021-08-2148-183/+2047
* More fixes.Eduardo Julian2021-08-2049-434/+2009
* Enabled compile-time code evaluation (i.e. "eval" function).Eduardo Julian2021-08-1969-471/+2645
* Some bug fixes.Eduardo Julian2021-08-18413-3317/+4493
* Made extension-definition macros specify their bindings the same way as syntax:.Eduardo Julian2021-08-16259-1806/+2921
* Moved documentation-generation machinery to its own module.Eduardo Julian2021-08-1496-457/+1227
* Made program: specify its bindings the same way as syntax:.Eduardo Julian2021-08-13175-1104/+1354
* Improved binding syntax for "syntax:".Eduardo Julian2021-08-12195-997/+1346
* Relocated maybe and lazy from data to control.Eduardo Julian2021-08-11408-3633/+3755
* Improved single-line comment syntax (from "##" to "...").Eduardo Julian2021-08-09300-2816/+3078
* No more #export magic syntax.Eduardo Julian2021-08-08769-6101/+6442
* Made the be/de macros for (co)monadic expression extensible.Eduardo Julian2021-08-07284-1915/+2069
* Fixed a bug in the new compiler which allowed the same module to be imported ...Eduardo Julian2021-08-02134-595/+688
* Even more renamings.Eduardo Julian2021-08-01204-1099/+1130
* Yet more renamings.Eduardo Julian2021-07-3170-749/+868
* More renamings.Eduardo Julian2021-07-30188-1023/+1126
* Switched from the "from to" convention to the "minimum additional" convention.Eduardo Julian2021-07-2995-706/+831
* Re-named List's tags: Nil => End && Cons => ItemEduardo Julian2021-07-28189-2172/+2341
* Re-named wrap => in && unwrap => out.Eduardo Julian2021-07-27451-8597/+8746
* Re-named Promise to Async.Eduardo Julian2021-07-26206-2221/+2344
* Better syntax for "library/lux.^multi".Eduardo Julian2021-07-25277-2669/+2741
* Now packaging JVM programs as "fat" jars in new JVM compiler.Eduardo Julian2021-07-2411-85/+459
* Automatically handling input/output conversions for methods in new JVM compi...Eduardo Julian2021-07-234-57/+233
* New JVM compiler can now compile JVM classes.Eduardo Julian2021-07-226-210/+420
generated by cgit v1.3.1 (git 2.54.0) at 2026-07-26 22:28:37 +0000