Most recent: printF# (F#) Login to submit solutions. Title Language Rating A Matter of Interpretation OCaml Ackermann Coq Append# F# Block OCaml Breathe First OCaml Breathe First 2 Coq Church-Rosser vs. Diamond Property Other Church-Rosser vs. Weak Church-Rosser Other Conquer Divide Lambda Calculus Convolution Scheme 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 Michael Nielsen Frederik Truelsen Vincent Jon