aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (unfollow)
Commit message (Expand)AuthorFilesLines
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 Julian7-571/+43
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 Julian4-71/+38
2021-09-05Handled formatting issues in documentation.Eduardo Julian31-350/+204
2021-09-04Appendix H: AedifexEduardo Julian1-1/+1
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 Julian180-1484/+1559
2021-09-01De-taggification | part 1Eduardo Julian20-182/+162
2021-09-01Updates to the JS compiler.Eduardo Julian12-202/+186
2021-08-30Better tagged type documentation + lexer fix.Eduardo Julian5-22/+31
2021-08-29De-taggification | part 0Eduardo Julian48-348/+324
2021-08-29Better parameterized type documentation.Eduardo Julian90-276/+458
2021-08-29Made labels (tags & slots) into a form of global binding.Eduardo Julian25-390/+616
2021-08-27Updates to the Ruby compiler.Eduardo Julian275-2229/+2742
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 Julian126-1676/+3272
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 Julian413-3319/+4495
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 Julian96-457/+1227
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