Most recent: printF# (F#) Login to submit solutions. Title Language Rating printF# F# Append# F# Neverending Trouble Coq A Matter of Interpretation OCaml Dneppa Scheme Just Name It Scheme Regular Lambda Calculus Lambda Calculus Remembering Induction Coq Breathe First 2 Coq Decompile Lambda Calculus 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 Vincent Frederik Truelsen Jon