Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implement type variables | Florian Diebold | 2018-12-29 | 1 | -4/+4 |
* | Change inference tests to have one per file | Florian Diebold | 2018-12-24 | 1 | -9/+9 |
* | Type the return values of call expressions | Florian Diebold | 2018-12-23 | 1 | -2/+2 |
* | Resolve paths to defs (functions currently) during type inference | Florian Diebold | 2018-12-23 | 1 | -0/+9 |