Commit Graph

3 Commits

Author SHA1 Message Date
Jerome M. BERGER
10d5753b87 Fix mpc_checkf and mpc_check_withf tests. 2018-04-03 16:29:23 +02:00
Jerome M. BERGER
a63bedc74a Add mpc_checkf and mpc_check_withf combinators. 2018-04-03 14:53:13 +02:00
Jerome M. BERGER
dfda9d3bd6 Add tests for mpc_check and mpc_check_with. 2018-04-03 10:07:54 +02:00