FirstOrderTheory-0.1.0.6: Grammar and typeclass for first order theories
FirstOrderTheory.Utils
Synopsis
type Name = String
type Arity = Int
type Sort = String
sort :: String -> Sort
Make a new sort with the input name