church.ml

(* チャーチ数 *)
type church_nat = { nat_fold : 'a. ('a -> 'a) -> 'a -> 'a }
(* チャーチエンコーディングした二進数 *)
type church_bin = { bin_fold : 'a. f0:('a -> 'a) -> f1:('a -> 'a) -> 'a -> 'a }

(* チャーチ数nを受け取って，
   n.nat_fold succ 1
   = m.bin_fold ~f0:(fun x -> 2 * x) ~f1:(fun x -> 2 * x + 1) 1
   が成り立つような二進数mを返す関数church_bin_of_church_natを記述せよ． *)