aboutsummaryrefslogtreecommitdiff
path: root/stdlib (unfollow)
Commit message (Expand)AuthorFilesLines
2021-09-08Post annotations clean-up.Eduardo Julian14-210/+28
2021-09-08No more annotations.Eduardo Julian25-708/+251
2021-09-08Normalized the syntax of "abstract:" and "actor:".Eduardo Julian90-9875/+9645
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-8354/+8358
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-76/+118
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-349/+203
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-1490/+1569
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-21/+30
2021-08-29De-taggification | part 0Eduardo Julian50-36814/+322
2021-08-29Better parameterized type documentation.Eduardo Julian91-262/+36912
2021-08-29Made labels (tags & slots) into a form of global binding.Eduardo Julian25-387/+613
2021-08-27Updates to the Ruby compiler.Eduardo Julian277-2180/+2700
2021-08-26"Interface" instead of "interface:", and "Rec" can be used in type definition.Eduardo Julian70-741/+633
2021-08-25Updates to the Lua compiler.Eduardo Julian128-1695/+3293
2021-08-24Outsourced the syntax for labelled type definitions to macros.Eduardo Julian557-6541/+8010
2021-08-23The Python compiler can now be compiled by the new JVM compiler.Eduardo Julian310-2790/+4100
2021-08-21Can now produce arbitrary code fragments statically by evaluating arbitrary e...Eduardo Julian48-183/+2047
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-3324/+4520
2021-08-16Made extension-definition macros specify their bindings the same way as syntax:.Eduardo Julian259-1806/+2921
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-1104/+1354
2021-08-12Improved binding syntax for "syntax:".Eduardo Julian195-997/+1346
2021-08-11Relocated maybe and lazy from data to control.Eduardo Julian408-3633/+3755
2021-08-09Improved single-line comment syntax (from "##" to "...").Eduardo Julian300-2816/+3078
2021-08-08No more #export magic syntax.Eduardo Julian769-6101/+6442
2021-08-07Made the be/de macros for (co)monadic expression extensible.Eduardo Julian284-1915/+2069
2021-08-02Fixed a bug in the new compiler which allowed the same module to be imported ...Eduardo Julian134-595/+688
2021-08-01Even more renamings.Eduardo Julian204-1099/+1130
2021-07-31Yet more renamings.Eduardo Julian70-749/+868
2021-07-30More renamings.Eduardo Julian188-1023/+1126
2021-07-29Switched from the "from to" convention to the "minimum additional" convention.Eduardo Julian95-706/+831
2021-07-28Re-named List's tags: Nil => End && Cons => ItemEduardo Julian189-2172/+2341
2021-07-27Re-named wrap => in && unwrap => out.Eduardo Julian451-8597/+8746
2021-07-26Re-named Promise to Async.Eduardo Julian206-2221/+2344
2021-07-25Better syntax for "library/lux.^multi".Eduardo Julian277-2669/+2741