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