unify.ipkg


1
2
3
4
5
6
7
8
9
10
11
12

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

options = "--total"

depends = contrib

modules
  = Data.Fin.Occurs
  , Data.Maybe.Properties
  , Data.Term