Broken links to homepage in docs

ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT

BSD 2-Clause "Simplified" License

49 stars 8 forks source link

Open jberryman opened 4 years ago

jberryman commented 4 years ago

I was curious to learn more about this project but all the ku.edu links are broken, and there's no context in the README here.