aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (unfollow)
Commit message (Expand)AuthorFilesLines
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
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
2021-07-30More renamings.Eduardo Julian188-1024/+1127
2021-07-29Switched from the "from to" convention to the "minimum additional" convention.Eduardo Julian95-707/+832
2021-07-28Re-named List's tags: Nil => End && Cons => ItemEduardo Julian189-2177/+2346
2021-07-27Re-named wrap => in && unwrap => out.Eduardo Julian451-8640/+8789
2021-07-26Re-named Promise to Async.Eduardo Julian206-2231/+2354
2021-07-25Better syntax for "library/lux.^multi".Eduardo Julian277-2678/+2750
2021-07-24Now packaging JVM programs as "fat" jars in new JVM compiler.Eduardo Julian11-85/+459
2021-07-23Automatically handling input/output conversions for methods in new JVM compi...Eduardo Julian4-57/+233
2021-07-22New JVM compiler can now compile JVM classes.Eduardo Julian6-212/+422
2021-07-20Updated the Scriptum documentation generator.Eduardo Julian13-348/+564
2021-07-19Made the default JS file-system promise-based so it works well on Node.Eduardo Julian7-101/+307
2021-07-18New JVM compiler can now compile JVM interfaces.Eduardo Julian23-302/+471