search

antalsz / hs-to-coq

Convert Haskell source code to Coq source code
https://hs-to-coq.readthedocs.io
MIT License
279 stars 27 forks source link

Link at top is broken #65

Closed ranjitjhala closed 6 years ago

ranjitjhala commented 6 years ago

Hi all,

quick heads up; the link at the top of the repo, namely:

http://www.deepspec.org/research/Haskell/

returns "Not found"?

Best!

Ranjit.

sweirich commented 6 years ago

Thanks! The correct link is https://deepspec.org/entry/Project/Haskell+CoreSpec

lastland commented 6 years ago

@antalsz Looks like you are the only one who can update that?

antalsz commented 6 years ago

Yep, thanks! Fixed :-)