Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Document differences of Hint Resolve and Hint Extern | 2016-02-23 | |
* | Fix some typos. | 2015-10-13 | |
* | Add a "Hint Mode ref (+ | -)*" hint for setting a global mode | 2014-09-15 | |
* | Fix declarations of monomorphic assumptions | 2014-05-06 | |
* | An experimental support for open constrs in hints and in "using" | 2010-10-31 | |
* | In the computation of missing arguments for apply, accept that the | 2010-09-17 |