aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec/compositor/generation/case.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2020-10-31Easy to use Rev constants.Eduardo Julian1-4/+4
2020-05-17Local binding names for (co|indexed-)?monads are now explicitly set.Eduardo Julian1-2/+2
2019-07-26No more "n/"-prefixed functions.Eduardo Julian1-5/+6
2019-07-24No more "f/"-prefixed functions.Eduardo Julian1-3/+5
2019-07-02Re-name "lux/data/error" to "lux/control/try".Eduardo Julian1-12/+12
2019-06-20Improved the convention for using text formatters.Eduardo Julian1-4/+4
2019-04-26Refactored the spec a bit better.Eduardo Julian1-6/+7
2019-04-26- Ported pattern-matching tests.Eduardo Julian1-130/+98
2019-03-30Re-named "do-template" to "template".Eduardo Julian1-19/+175
2018-08-11- Fixed common translation tests for JVM.Eduardo Julian1-37/+60
2018-07-30Updating new-luxc to latest Lux changes [Part 1].Eduardo Julian1-76/+85
2018-07-14Switched to using new bit syntax in new-luxc.Eduardo Julian1-4/+4
2018-07-13Re-named "Bool" type to "Bit".Eduardo Julian1-4/+4
2018-07-03- Re-named ":!" to ":coerce".Eduardo Julian1-2/+2
2018-06-15- WIP: Adjustments to new-luxc based on recent changes to stdlib.Eduardo Julian1-49/+43
2018-05-06- Updated new-luxc to the latest stdlib changes.Eduardo Julian1-24/+24
2018-05-01- WIP: - Initial PHP back-end implementation [missing procedures].Eduardo Julian1-4/+9
2018-04-25- Initial Common Lisp back-end implementation.Eduardo Julian1-2/+6
2018-04-18- Initial Scheme back-end implementation.Eduardo Julian1-26/+21
2018-04-15- Fixes for R back-end.Eduardo Julian1-2/+13
2018-04-14- Initial R back-end implementation.Eduardo Julian1-0/+4
2018-04-06- Adapted new-luxc's code to latest stdlib changes.Eduardo Julian1-1/+1
2018-04-04- Initial Python back-end implementation.Eduardo Julian1-53/+25
2018-03-13- Initial Ruby back-end implementation.Eduardo Julian1-1/+10
2018-03-06- Initial Lua backend implementation.Eduardo Julian1-1/+10
2018-02-22- Unified translation tests.Eduardo Julian1-0/+125
2018-01-28- Got the tests to build again.Eduardo Julian1-105/+0
2017-12-02- Got most of the tests working again.Eduardo Julian1-1/+4
2017-12-02- Adjusted new-luxc to new macro-templating syntax.Eduardo Julian1-1/+1
2017-12-01- Got the tests to compile again.Eduardo Julian1-45/+45
2017-11-15- Re-named "lux/meta" to to "lux/macro".Eduardo Julian1-7/+8
2017-11-01- Minor refactorings.Eduardo Julian1-14/+14
2017-11-01- Re-organized code-generation, and re-named it "translation".Eduardo Julian1-12/+12
2017-11-01- Re-organized synthesis.Eduardo Julian1-1/+0
2017-10-31- Re-organized analysis.Eduardo Julian1-1/+0
2017-10-31- Re-named "expr" module to "expression".Eduardo Julian1-3/+3
2017-10-30- Migrated the format of synthesis nodes from a custom data-type, to just Cod...Eduardo Julian1-27/+31
2017-10-29- Fixed some bugs.Eduardo Julian1-5/+8
2017-10-26- Fixed remaining tests in compiler.Eduardo Julian1-49/+38
2017-10-21- Updated new compiler to latest version of stdlib.Eduardo Julian1-27/+29
2017-10-18- Updated to the latest changes in stdlib.Eduardo Julian1-9/+9
2017-10-11- Migrated new-luxc to latest version of stdlib.Eduardo Julian1-0/+1
2017-10-05- Simplified "eval".Eduardo Julian1-7/+9
2017-09-17- Added pattern-matching compilation.Eduardo Julian1-0/+102