| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | - Re-named "import" to "import:". | Eduardo Julian | 2018-07-03 | 1 | -2/+2 |
| | | |||||
| * | - Re-named "Top" to "Any", and "Bottom" to "Nothing". | Eduardo Julian | 2018-05-20 | 1 | -1/+1 |
| | | | | - Removed some modules that should have been deleted before. | ||||
| * | - Moved all translation code under the JVM path (in preparation for porting ↵ | Eduardo Julian | 2018-01-08 | 1 | -0/+46 |
| the JS back-end). | |||||
