package unify
authors = "Greg Brown"
sourcedir = "src"

options = "--total"

depends = contrib

modules
  = Data.Fin.Occurs
  , Data.Term
  , Data.Term.Property
  , Data.Term.Unify
  , Data.Term.Zipper
  , Data.Vect.Quantifiers.Extra