@hackage / FirstOrderTheory

Grammar and typeclass for first order theories

0.1.0.6

Security Advisories

No advisories found.