Fix link to combinators in Coq.
Merge pull request #10 from mausch/patch-1

Fix link to combinators in Coq.