| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2019-03-11 | Update tests | Vadim Petrochenkov | -2/+2 | |
| 2018-12-31 | Improve type mismatch error messages | Yuning Zhang | -1/+1 | |
| Replace "integral variable" with "integer" and replace "floating-point variable" with "floating-point number" to make the message less confusing. | ||||
| 2018-12-25 | Remove licenses | Mark Rousskov | -4/+4 | |
| 2018-07-18 | Implement existential types | Oliver Schneider | -0/+51 | |
