FirstOrderTheory-0.1.0.6: Grammar and typeclass for first order theories

Safe HaskellSafe-Inferred

FirstOrderTheory.Utils

Synopsis

Documentation

type Name = String

type Arity = Int

type Sort = String

sort :: String -> Sort

Make a new sort with the input name