@hackage FirstOrderTheory0.1.0.6

Grammar and typeclass for first order theories

Grammar and typeclass for first order theories

  • Installation

  • Dependencies (0)

  • Dependents (0)