search

bruderj15 / Hasmtlib

A monad for interfacing with external SMT solvers
GNU General Public License v3.0
12 stars 1 forks source link

Hackage descriptions #91

Closed bruderj15 closed 2 months ago

bruderj15 commented 2 months ago

Provide rich module documentation for hackage. Maybe also add some more examples.