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 Hannibal Keblovszki Kent Grigo Casper Freksen Fie Hebsgaard A Vincent Jon Michael Nielsen Frederik Truelsen