@hackage / FirstOrderTheory

Grammar and typeclass for first order theories

Latest0.1.0.6

About

Metadata

  • Last updated , by dillonhuff
  • License BSD-3-Clause
  • Categories Mathematics
  • Maintained by: dillonhuff@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

Grammar and typeclass for first order theories