Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in ↵ | leino | 2014-08-02 |
| | | | | the resolver and translator | ||
* | Added type synonyms. (No support yet for these in refinements.) | Rustan Leino | 2014-07-11 |