Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Tacinterp: more refactoring. | 2014-02-27 | |
* | Tacinterp: refactoring using Monad. | 2014-02-27 | |
* | Remove unsafe code (Obj.magic) in Tacinterp. | 2014-02-27 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Tacinterp: more refactoring. | 2014-02-27 | |
* | Tacinterp: refactoring using Monad. | 2014-02-27 | |
* | Remove unsafe code (Obj.magic) in Tacinterp. | 2014-02-27 |