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

options = "--total"

depends = contrib

modules
  = Data.Maybe.Decidable
  , Data.These.Decidable
  , Inky.Term
  , Inky.Thinning
  , Inky.Type