search

yav / smtLib

Haskell datatypes for generating SMTLIB files.
MIT License
11 stars 5 forks source link

Fixing documentation generation #2

Open jkoppel opened 11 years ago

jkoppel commented 11 years ago

Currently, Haddock generates no documentation for the main files in this library. With this tweak, it will.