aboutsummaryrefslogtreecommitdiff
path: root/stdlib (unfollow)
Commit message (Expand)AuthorFilesLines
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 va...Eduardo Julian3-6/+21
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 e...Eduardo Julian48-184/+2048
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
2021-08-12Improved binding syntax for "syntax:".Eduardo Julian195-997/+1346
2021-08-11Relocated maybe and lazy from data to control.Eduardo Julian408-3648/+3770
2021-08-09Improved single-line comment syntax (from "##" to "...").Eduardo Julian300-2849/+3111
2021-08-08No more #export magic syntax.Eduardo Julian769-6111/+6452
2021-08-07Made the be/de macros for (co)monadic expression extensible.Eduardo Julian284-1920/+2074
2021-08-02Fixed a bug in the new compiler which allowed the same module to be imported ...Eduardo Julian134-596/+689
2021-08-01Even more renamings.Eduardo Julian204-1104/+1135
2021-07-31Yet more renamings.Eduardo Julian70-754/+873