If you are not redirected automatically, follow this link to the documentation of the Haskell To Coq Compiler's main branch.
main