madsravn/dcoq

Coq files from course on functional programming