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


TitleLanguageRating
A Matter of InterpretationOCaml
AckermannCoq
Append#F#
BlockOCaml
Breathe FirstOCaml
Breathe First 2Coq
Church-Rosser vs. Diamond PropertyOther
Church-Rosser vs. Weak Church-RosserOther
Conquer DivideLambda Calculus
ConvolutionScheme
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
Hannibal Keblovszki
Kent Grigo
Casper Freksen
Fie Hebsgaard
A
Vincent
Jon
Michael Nielsen
Frederik Truelsen