Choice operator in OCaml, providing a backtracking monad
View the Project on GitHub c-cube/choice
development version
0.4