Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improve directives for Haskell extraction of nat. | 2015-09-03 | |
* | Fix [Nat.div] and add [Nat.modulo] in ExtrHaskellNatNum.v | 2015-09-03 | |
* | Add efficient extraction of [nat], [Z], and [string] to Haskell | 2015-06-22 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improve directives for Haskell extraction of nat. | 2015-09-03 | |
* | Fix [Nat.div] and add [Nat.modulo] in ExtrHaskellNatNum.v | 2015-09-03 | |
* | Add efficient extraction of [nat], [Z], and [string] to Haskell | 2015-06-22 |