FirstOrderTheory-0.1.0.4: Grammar and typeclass for first order theories

Modules

FirstOrderTheory.Syntax
FirstOrderTheory.Theory
FirstOrderTheory.Utils