Partially as a beginner project (I am very much a beginner- if anyone else finds the package useful and feels like something should be changed or knows more fun combinators, feel free to make a PR as I have no clue what I’m doing), and partially just because I personally want a relatively complete combinator library, tacit is now on opam! Now you can write let nth_root = C.c (C.phi1 Float.pow C.k (C.b1 (( /. ) 1.) C.ki)) if you wanted to, for whatever reason 
3 Likes
Here is the package page: tacit 1.0.0 (latest) · OCaml Package
here is the repository: GitHub - arutonee1/tacit: A set of combinators from combinatory logic for OCaml.
2 Likes