Most recent:
printF# (F#)
Login to submit solutions.
Title
Language
Rating
A Matter of Interpretation
OCaml
Ackermann
Coq
Append#
F#
Block
OCaml
Breathe First
OCaml
Breathe First 2
Coq
Church-Rosser vs. Diamond Property
Other
Church-Rosser vs. Weak Church-Rosser
Other
Conquer Divide
Lambda Calculus
Convolution
Scheme
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
Frederik Truelsen
Vincent
Jon