aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* De-bracing | part 2Eduardo Julian2021-09-0867-432/+415
|
* De-bracing | part 1Eduardo Julian2021-09-0827-131/+143
|
* De-bracing part 0Eduardo Julian2021-09-0816-240/+235
|
* Normalized syntax of "exception:", "actor:" and "message:".Eduardo Julian2021-09-08101-299/+413
|
* Post annotations clean-up.Eduardo Julian2021-09-0814-210/+28
|
* No more annotations.Eduardo Julian2021-09-0833-775/+304
|
* Normalized the syntax of "abstract:" and "actor:".Eduardo Julian2021-09-0890-11161/+10931
|
* No more module annotations.Eduardo Julian2021-09-0812-120/+25
|
* Now using eval to derive code for arbitrary types.Eduardo Julian2021-09-0811-580/+51
|
* Eliminated the last application of annotations.Eduardo Julian2021-09-074-59/+45
|
* De-taggification | part 4Eduardo Julian2021-09-07975-9153/+9157
|
* New chapter on compiler extensions.Eduardo Julian2021-09-0623-14/+1121
|
* Applied new convention for variants.Eduardo Julian2021-09-0611-150/+147
|
* Documentation improvements.Eduardo Julian2021-09-0610-77/+119
|
* Changed the syntax of do/be's (co)monad bindings.Eduardo Julian2021-09-05333-966/+966
|
* Added a chapter on cross-platform Lux.Eduardo Julian2021-09-0525-155/+402
|
* Clearing the local scope during eval analysis to avoid accidentally seeing ↵Eduardo Julian2021-09-057-26/+53
| | | | variables outside of eval's scope.
* De-taggification | part 3Eduardo Julian2021-09-056-168/+135
|
* Handled formatting issues in documentation.Eduardo Julian2021-09-0534-356/+221
|
* Appendix H: AedifexEduardo Julian2021-09-045-15/+295
|
* Better type-declaration documentation.Eduardo Julian2021-09-045-33/+45
|
* De-taggification | part 2Eduardo Julian2021-09-041014-6764/+6764
|
* Unified tuple and record syntax.Eduardo Julian2021-09-03213-1747/+1869
|
* De-taggification | part 1Eduardo Julian2021-09-0137-202/+225
|
* Updates to the JS compiler.Eduardo Julian2021-09-0119-273/+297
|
* Better tagged type documentation + lexer fix.Eduardo Julian2021-08-305-22/+31
|
* De-taggification | part 0Eduardo Julian2021-08-2967-36924/+578
|
* Better parameterized type documentation.Eduardo Julian2021-08-2992-293/+36942
|
* Made labels (tags & slots) into a form of global binding.Eduardo Julian2021-08-2941-644/+1008
|
* Updates to the Ruby compiler.Eduardo Julian2021-08-27297-2332/+2976
|
* "Interface" instead of "interface:", and "Rec" can be used in type definition.Eduardo Julian2021-08-2672-750/+774
|
* Updates to the Lua compiler.Eduardo Julian2021-08-25138-2471/+4247
|
* Outsourced the syntax for labelled type definitions to macros.Eduardo Julian2021-08-24586-6954/+8667
|
* The Python compiler can now be compiled by the new JVM compiler.Eduardo Julian2021-08-23331-2945/+4359
|
* Can now produce arbitrary code fragments statically by evaluating arbitrary ↵Eduardo Julian2021-08-2152-185/+2303
| | | | expressions at compile-time.
* More fixes.Eduardo Julian2021-08-2054-441/+2045
|
* Enabled compile-time code evaluation (i.e. "eval" function).Eduardo Julian2021-08-19112-1035/+3426
|
* Some bug fixes.Eduardo Julian2021-08-18458-3994/+5342
|
* Made extension-definition macros specify their bindings the same way as syntax:.Eduardo Julian2021-08-16279-1899/+3019
|
* Moved documentation-generation machinery to its own module.Eduardo Julian2021-08-14112-508/+1485
|
* Made program: specify its bindings the same way as syntax:.Eduardo Julian2021-08-13195-1158/+1616
|
* Improved binding syntax for "syntax:".Eduardo Julian2021-08-12206-1020/+1484
|
* Relocated maybe and lazy from data to control.Eduardo Julian2021-08-11436-3804/+4184
|
* Improved single-line comment syntax (from "##" to "...").Eduardo Julian2021-08-09335-3321/+3887
|
* No more #export magic syntax.Eduardo Julian2021-08-08818-6378/+6733
|
* Made the be/de macros for (co)monadic expression extensible.Eduardo Julian2021-08-07298-1921/+2286
|
* Fixed a bug in the new compiler which allowed the same module to be imported ↵Eduardo Julian2021-08-02152-1115/+1534
| | | | more than once.
* Even more renamings.Eduardo Julian2021-08-01212-1106/+1343
|
* Yet more renamings.Eduardo Julian2021-07-3173-756/+1191
|
* More renamings.Eduardo Julian2021-07-30190-1025/+1502
|