| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2015-01-30 | Remove all `i` suffixes | Tobias Bucher | -1/+1 |
| 2014-11-17 | Switch to purely namespaced enums | Steven Fackler | -2/+2 |
| 2014-08-29 | Introduce new inference scheme: variables are now instantiated with at most o... | Niko Matsakis | -0/+48 |
