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


TitleLanguageRating
De Morgan For AllCoq
Palindrome ProblemScheme
Breathe FirstOCaml
AckermannCoq
Divergent Diversion 2OCaml
Conquer DivideLambda Calculus
Minimum?Coq
BlockOCaml
Subtract AverageScheme
Insert MergeCoq
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