aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* Normalized syntax of "exception:", "actor:" and "message:".Eduardo Julian2021-09-0889-263/+374
|
* Post annotations clean-up.Eduardo Julian2021-09-0814-210/+28
|
* No more annotations.Eduardo Julian2021-09-0825-708/+251
|
* Normalized the syntax of "abstract:" and "actor:".Eduardo Julian2021-09-0890-9875/+9645
|
* 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 ↵Eduardo Julian2021-09-053-6/+21
| | | | variables outside of eval's scope.
* 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 ↵Eduardo Julian2021-08-2148-183/+2047
| | | | expressions at compile-time.
* 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
| | | | more than once.
* 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
|