| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | - Some fixes due to recent changes in stdlib. | Eduardo Julian | 2018-07-22 | 1 | -3/+3 | 
| | | | | - Removed some (now) useless modules. | ||||
| * | - 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). | |||||
