aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Migrated variants to the new syntax.Eduardo Julian2021-09-10252-5355/+5421
* The old record syntax has been re-purposed as variant syntax.Eduardo Julian2021-09-0915-511/+309
* De-bracing | part 2Eduardo Julian2021-09-0842-227/+253
* De-bracing | part 1Eduardo Julian2021-09-0813-94/+101
* De-bracing part 0Eduardo Julian2021-09-085-13/+13
* Normalized syntax of "exception:", "actor:" and "message:".Eduardo Julian2021-09-0876-243/+344
* Post annotations clean-up.Eduardo Julian2021-09-089-123/+25
* No more annotations.Eduardo Julian2021-09-0820-700/+245
* Normalized the syntax of "abstract:" and "actor:".Eduardo Julian2021-09-0885-10878/+10672
* No more module annotations.Eduardo Julian2021-09-083-55/+14
* Now using eval to derive code for arbitrary types.Eduardo Julian2021-09-081-25/+3
* Eliminated the last application of annotations.Eduardo Julian2021-09-073-49/+45
* De-taggification | part 4Eduardo Julian2021-09-07402-4071/+4075
* New chapter on compiler extensions.Eduardo Julian2021-09-066-7/+11
* Applied new convention for variants.Eduardo Julian2021-09-063-43/+12
* Documentation improvements.Eduardo Julian2021-09-066-58/+75
* Changed the syntax of do/be's (co)monad bindings.Eduardo Julian2021-09-05149-382/+382
* Clearing the local scope during eval analysis to avoid accidentally seeing va...Eduardo Julian2021-09-053-6/+21
* Handled formatting issues in documentation.Eduardo Julian2021-09-052-19/+16
* Better type-declaration documentation.Eduardo Julian2021-09-044-32/+44
* De-taggification | part 2Eduardo Julian2021-09-04447-3409/+3409
* Unified tuple and record syntax.Eduardo Julian2021-09-03124-1039/+1110
* De-taggification | part 1Eduardo Julian2021-09-0113-82/+62
* Updates to the JS compiler.Eduardo Julian2021-09-018-148/+99
* Better tagged type documentation + lexer fix.Eduardo Julian2021-08-303-20/+29
* De-taggification | part 0Eduardo Julian2021-08-2932-283/+269
* Better parameterized type documentation.Eduardo Julian2021-08-294-36/+218
* Made labels (tags & slots) into a form of global binding.Eduardo Julian2021-08-2922-341/+581
* Updates to the Ruby compiler.Eduardo Julian2021-08-27184-1647/+1826
* "Interface" instead of "interface:", and "Rec" can be used in type definition.Eduardo Julian2021-08-2649-633/+499
* Updates to the Lua compiler.Eduardo Julian2021-08-2568-1451/+602
* Outsourced the syntax for labelled type definitions to macros.Eduardo Julian2021-08-24326-5098/+5209
* The Python compiler can now be compiled by the new JVM compiler.Eduardo Julian2021-08-23196-2281/+2095
* Can now produce arbitrary code fragments statically by evaluating arbitrary e...Eduardo Julian2021-08-2123-148/+111
* More fixes.Eduardo Julian2021-08-2023-399/+113
* Enabled compile-time code evaluation (i.e. "eval" function).Eduardo Julian2021-08-1938-433/+271
* Some bug fixes.Eduardo Julian2021-08-18225-2213/+1945
* Made extension-definition macros specify their bindings the same way as syntax:.Eduardo Julian2021-08-16155-1232/+935
* Moved documentation-generation machinery to its own module.Eduardo Julian2021-08-1451-274/+623
* Made program: specify its bindings the same way as syntax:.Eduardo Julian2021-08-13110-705/+886
* Improved binding syntax for "syntax:".Eduardo Julian2021-08-12128-779/+965
* Relocated maybe and lazy from data to control.Eduardo Julian2021-08-11256-2594/+2700
* Improved single-line comment syntax (from "##" to "...").Eduardo Julian2021-08-09217-2393/+2617
* No more #export magic syntax.Eduardo Julian2021-08-08445-5355/+5677
* Made the be/de macros for (co)monadic expression extensible.Eduardo Julian2021-08-07138-1263/+1392
* Fixed a bug in the new compiler which allowed the same module to be imported ...Eduardo Julian2021-08-02100-486/+538
* Even more renamings.Eduardo Julian2021-08-01155-802/+802
* Yet more renamings.Eduardo Julian2021-07-3155-621/+736
* More renamings.Eduardo Julian2021-07-30101-692/+737
* Switched from the "from to" convention to the "minimum additional" convention.Eduardo Julian2021-07-2974-616/+702