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

depends = contrib

options = "--total"

modules
  = Core.Context
  , Core.Declarative
  , Core.Environment
  , Core.Name
  , Core.Reduction
  , Core.Term
  , Core.Term.NormalForm
  , Core.Term.Substitution
  , Core.Thinning
  , Core.Var