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


TitleLanguageRating
printF#F#
Append#F#
Neverending TroubleCoq
A Matter of InterpretationOCaml
DneppaScheme
Just Name ItScheme
Regular Lambda CalculusLambda Calculus
Remembering InductionCoq
Breathe First 2Coq
DecompileLambda Calculus
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