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


TitleLanguageRating
Remembering InductionCoq
Divergent Diversion 2OCaml
Church-Rosser vs. Diamond PropertyOther
One Liner 2Scheme
Minimum?Coq
De Morgan For AllCoq
Just Name ItScheme
Palindrome ProblemScheme
ConvolutionScheme
Church-Rosser vs. Weak Church-RosserOther
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
Jon
Michael Nielsen
Frederik Truelsen
Vincent