aboutsummaryrefslogtreecommitdiff
path: root/stdlib (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-09-13Updated new compilers w.r.t. removal of tags/labels.Eduardo Julian13-274/+114
2021-09-13Re-named #Label to #Tag.Eduardo Julian9-24/+24
2021-09-13Updated only/except import syntax to take into account record => variant ↵Eduardo Julian948-5006/+5006
syntax change.
2021-09-12Re-named \ => # && \\ => ##Eduardo Julian593-6525/+6520
2021-09-12Made the "#" character great again!Eduardo Julian498-8941/+8838
2021-09-10Adjusted new compilers to work with the new variant syntax.Eduardo Julian8-49/+77
2021-09-10Undid the foolish re-design of "abstract:" and "actor:".Eduardo Julian90-10884/+10885
2021-09-10Fixed the indentation of variants.Eduardo Julian46-674/+674
2021-09-10Migrated variants to the new syntax.Eduardo Julian439-7108/+7175
2021-09-09The old record syntax has been re-purposed as variant syntax.Eduardo Julian23-709/+328
2021-09-08De-bracing | part 2Eduardo Julian59-375/+358
2021-09-08De-bracing | part 1Eduardo Julian21-111/+123
2021-09-08De-bracing part 0Eduardo Julian8-48/+55
2021-09-08Normalized syntax of "exception:", "actor:" and "message:".Eduardo Julian89-263/+374
2021-09-08Post annotations clean-up.Eduardo Julian14-210/+28
2021-09-08No more annotations.Eduardo Julian25-711/+254
2021-09-08Normalized the syntax of "abstract:" and "actor:".Eduardo Julian90-11161/+10931
2021-09-08No more module annotations.Eduardo Julian6-67/+14
2021-09-08Now using eval to derive code for arbitrary types.Eduardo Julian10-579/+50
2021-09-07Eliminated the last application of annotations.Eduardo Julian4-59/+45
2021-09-07De-taggification | part 4Eduardo Julian920-8355/+8359
2021-09-06New chapter on compiler extensions.Eduardo Julian21-14/+869
2021-09-06Applied new convention for variants.Eduardo Julian3-43/+12
2021-09-06Documentation improvements.Eduardo Julian10-77/+119
2021-09-05Changed the syntax of do/be's (co)monad bindings.Eduardo Julian323-933/+933
2021-09-05Clearing the local scope during eval analysis to avoid accidentally seeing ↵Eduardo Julian3-6/+21
variables outside of eval's scope.
2021-09-05De-taggification | part 3Eduardo Julian5-119/+86
2021-09-05Handled formatting issues in documentation.Eduardo Julian31-350/+204
2021-09-04Appendix H: AedifexEduardo Julian2-14/+72
2021-09-04Better type-declaration documentation.Eduardo Julian5-33/+45
2021-09-04De-taggification | part 2Eduardo Julian956-6282/+6282
2021-09-03Unified tuple and record syntax.Eduardo Julian182-1498/+1577
2021-09-01De-taggification | part 1Eduardo Julian20-182/+162
2021-09-01Updates to the JS compiler.Eduardo Julian14-204/+195
2021-08-30Better tagged type documentation + lexer fix.Eduardo Julian5-22/+31
2021-08-29De-taggification | part 0Eduardo Julian50-36817/+325
2021-08-29Better parameterized type documentation.Eduardo Julian91-276/+36926
2021-08-29Made labels (tags & slots) into a form of global binding.Eduardo Julian25-390/+616
2021-08-27Updates to the Ruby compiler.Eduardo Julian277-2229/+2749
2021-08-26"Interface" instead of "interface:", and "Rec" can be used in type definition.Eduardo Julian70-749/+641
2021-08-25Updates to the Lua compiler.Eduardo Julian128-1696/+3294
2021-08-24Outsourced the syntax for labelled type definitions to macros.Eduardo Julian557-6579/+8048
2021-08-23The Python compiler can now be compiled by the new JVM compiler.Eduardo Julian310-2810/+4120
2021-08-21Can now produce arbitrary code fragments statically by evaluating arbitrary ↵Eduardo Julian48-184/+2048
expressions at compile-time.
2021-08-20More fixes.Eduardo Julian49-434/+2009
2021-08-19Enabled compile-time code evaluation (i.e. "eval" function).Eduardo Julian69-471/+2645
2021-08-18Some bug fixes.Eduardo Julian416-3326/+4522
2021-08-16Made extension-definition macros specify their bindings the same way as syntax:.Eduardo Julian259-1815/+2930
2021-08-14Moved documentation-generation machinery to its own module.Eduardo Julian98-467/+1251
2021-08-13Made program: specify its bindings the same way as syntax:.Eduardo Julian175-1106/+1356