Most recent: printF# (F#) Login to submit solutions. Title Language Rating Remembering Induction Coq Divergent Diversion 2 OCaml Church-Rosser vs. Diamond Property Other One Liner 2 Scheme Minimum? Coq De Morgan For All Coq Just Name It Scheme Palindrome Problem Scheme Convolution Scheme Church-Rosser vs. Weak Church-Rosser Other 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