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