Most recent: printF# (F#) Login to submit solutions. Title Language Rating Neverending Trouble Coq Minimum? Coq Minimum Tree OCaml Minimum in O(1) Scheme Merge Right OCaml Just Name It Scheme Is One? Lambda Calculus Is Function? OCaml Insert Merge Coq Happy Numbers Scheme Previous Next Unless otherwise stated you are not supposed to use imperative features (assignments, loops, etc.), nor the Object system of OCaml. Sune Ohrt Sørensen Kent Grigo Hannibal Keblovszki Casper Freksen Fie Hebsgaard A Frederik Truelsen Vincent Jon Michael Nielsen