Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixing test-suite for bug #3043. | 2014-05-08 | |
* | Keep track of universes on coercion applications even if they're not polymorp... | 2014-05-06 | |
* | No more Coersion in Init. | 2014-04-10 | |
* | Better unification for [projT1] and [proj1_sig]. | 2013-12-12 |