aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Re-named "name_of" to "symbol".Eduardo Julian2021-09-1446-103/+103
|
* Re-named "Name" to "Symbol".Eduardo Julian2021-09-14100-546/+567
|
* Re-named "primitive" to "Primitive".Eduardo Julian2021-09-1340-135/+136
|
* Updated new compilers w.r.t. removal of tags/labels.Eduardo Julian2021-09-1313-274/+114
|
* Re-named #Label to #Tag.Eduardo Julian2021-09-139-24/+24
|
* Updated only/except import syntax to take into account record => variant ↵Eduardo Julian2021-09-13948-5006/+5006
| | | | syntax change.
* Re-named \ => # && \\ => ##Eduardo Julian2021-09-12593-6525/+6520
|
* Made the "#" character great again!Eduardo Julian2021-09-12498-8941/+8838
|
* Adjusted new compilers to work with the new variant syntax.Eduardo Julian2021-09-108-49/+77
|
* Undid the foolish re-design of "abstract:" and "actor:".Eduardo Julian2021-09-1090-10884/+10885
|
* Fixed the indentation of variants.Eduardo Julian2021-09-1046-674/+674
|
* Migrated variants to the new syntax.Eduardo Julian2021-09-10439-7108/+7175
|
* The old record syntax has been re-purposed as variant syntax.Eduardo Julian2021-09-0923-709/+328
|
* De-bracing | part 2Eduardo Julian2021-09-0859-375/+358
|
* De-bracing | part 1Eduardo Julian2021-09-0821-111/+123
|
* De-bracing part 0Eduardo Julian2021-09-088-48/+55
|
* Normalized syntax of "exception:", "actor:" and "message:".Eduardo Julian2021-09-0889-263/+374
|
* Post annotations clean-up.Eduardo Julian2021-09-0814-210/+28
|
* No more annotations.Eduardo Julian2021-09-0825-711/+254
|
* Normalized the syntax of "abstract:" and "actor:".Eduardo Julian2021-09-0890-11161/+10931
|
* No more module annotations.Eduardo Julian2021-09-086-67/+14
|
* Now using eval to derive code for arbitrary types.Eduardo Julian2021-09-087-571/+43
|
* Eliminated the last application of annotations.Eduardo Julian2021-09-074-59/+45
|
* De-taggification | part 4Eduardo Julian2021-09-07920-8355/+8359
|
* New chapter on compiler extensions.Eduardo Julian2021-09-0621-14/+869
|
* Applied new convention for variants.Eduardo Julian2021-09-063-43/+12
|
* Documentation improvements.Eduardo Julian2021-09-0610-77/+119
|
* Changed the syntax of do/be's (co)monad bindings.Eduardo Julian2021-09-05323-933/+933
|
* Clearing the local scope during eval analysis to avoid accidentally seeing ↵Eduardo Julian2021-09-053-6/+21
| | | | variables outside of eval's scope.
* De-taggification | part 3Eduardo Julian2021-09-054-71/+38
|
* Handled formatting issues in documentation.Eduardo Julian2021-09-0531-350/+204
|
* Appendix H: AedifexEduardo Julian2021-09-041-1/+1
|
* Better type-declaration documentation.Eduardo Julian2021-09-045-33/+45
|
* De-taggification | part 2Eduardo Julian2021-09-04956-6282/+6282
|
* Unified tuple and record syntax.Eduardo Julian2021-09-03180-1484/+1559
|
* De-taggification | part 1Eduardo Julian2021-09-0120-182/+162
|
* Updates to the JS compiler.Eduardo Julian2021-09-0112-202/+186
|
* Better tagged type documentation + lexer fix.Eduardo Julian2021-08-305-22/+31
|
* De-taggification | part 0Eduardo Julian2021-08-2948-348/+324
|
* Better parameterized type documentation.Eduardo Julian2021-08-2990-276/+458
|
* Made labels (tags & slots) into a form of global binding.Eduardo Julian2021-08-2925-390/+616
|
* Updates to the Ruby compiler.Eduardo Julian2021-08-27275-2229/+2742
|
* "Interface" instead of "interface:", and "Rec" can be used in type definition.Eduardo Julian2021-08-2670-749/+641
|
* Updates to the Lua compiler.Eduardo Julian2021-08-25126-1676/+3272
|
* Outsourced the syntax for labelled type definitions to macros.Eduardo Julian2021-08-24557-6579/+8048
|
* The Python compiler can now be compiled by the new JVM compiler.Eduardo Julian2021-08-23310-2810/+4120
|
* Can now produce arbitrary code fragments statically by evaluating arbitrary ↵Eduardo Julian2021-08-2148-184/+2048
| | | | expressions at compile-time.
* More fixes.Eduardo Julian2021-08-2049-434/+2009
|
* Enabled compile-time code evaluation (i.e. "eval" function).Eduardo Julian2021-08-1969-471/+2645
|
* Some bug fixes.Eduardo Julian2021-08-18413-3319/+4495
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 18:19:44 +0000