Most recent: printF# (F#)
Login to submit solutions.


TitleLanguageRating
Merge RightOCaml
Church-Rosser vs. Diamond PropertyOther
De Morgan ImpliesCoq
Minimum TreeOCaml
Church-Rosser vs. Weak Church-RosserOther
Divergent DiversionOCaml
Is One?Lambda Calculus
Is Function?OCaml
Minimum in O(1)Scheme
Reverse RightOCaml
PreviousNext

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