HERMIT documentation needs updated

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 andygill opened 8 years ago

andygill commented 8 years ago

The new version of HERMIT is under-documented. We need some coherent documentation and tutorials.

One idea is to document HERMIT on the github wiki (because it is version controlled, and easy to access).
Another is to use a github pages.
- Another is to use LaTeX

Either way, we will have scripts that scrape the haddock documentation. I'm open to suggestions here.