unify.ipkg


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

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

options = "--total"

depends = contrib

modules
  = Data.Fin.Occurs
  , Data.Maybe.Properties
  , Data.Term
  , Data.Term.Property
  , Data.Term.Zipper
  , Data.Vect.Properties.Insert
  , Data.Vect.Quantifiers.Extra