aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/extension.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-05-23- Migrated special-form analysis to stdlib.Eduardo Julian1-114/+0
2018-05-20- Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian1-5/+5
- Removed some modules that should have been deleted before.
2018-05-06- Updated new-luxc to the latest stdlib changes.Eduardo Julian1-5/+5
2018-04-06- Adapted new-luxc's code to latest stdlib changes.Eduardo Julian1-11/+16
2018-01-28- Got the tests to build again.Eduardo Julian1-3/+7
2018-01-08- Now using synthesis extensions during synthesis.Eduardo Julian1-3/+16
2017-12-05- All analysis procedures have been turned into extensions.Eduardo Julian1-12/+20
2017-12-05- Added analysis, synthesis, translation and statement extensions.Eduardo Julian1-0/+84
- No longer doing ad-hoc I/O in new-luxc. - Minor fixes and adjustments.