Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Re-organized code-generation, and re-named it "translation". | Eduardo Julian | 2017-11-01 | 1 | -6/+6 |
* | - Re-organized synthesis. | Eduardo Julian | 2017-11-01 | 1 | -4/+4 |
* | - Re-organized analysis. | Eduardo Julian | 2017-10-31 | 1 | -3/+3 |
* | - Re-named "expr" module to "expression". | Eduardo Julian | 2017-10-31 | 1 | -2/+2 |
* | - Updated to the latest changes in stdlib. | Eduardo Julian | 2017-10-18 | 1 | -2/+2 |
* | - Simplified "eval". | Eduardo Julian | 2017-10-05 | 1 | -2/+3 |
* | - Added tests for type-checking and type-coercion. | Eduardo Julian | 2017-10-05 | 1 | -0/+17 |