Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix bug #3594: eta for constructors and functions at the same time which | 2014-09-11 | |
was failing in this case due to the wrong postponment of an unsolvable ?X = RigidContext[?X] problem. |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix bug #3594: eta for constructors and functions at the same time which | 2014-09-11 | |
was failing in this case due to the wrong postponment of an unsolvable ?X = RigidContext[?X] problem. |