Most recent: printF# (F#) Login to submit solutions. Title Language Rating De Morgan For All Coq Palindrome Problem Scheme Breathe First OCaml Ackermann Coq Divergent Diversion 2 OCaml Conquer Divide Lambda Calculus Minimum? Coq Block OCaml Subtract Average Scheme Insert Merge Coq 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 Vincent Michael Nielsen Jon Frederik Truelsen