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

depends = contrib

options = "--total"

modules
  = Core.Declarative
  , Core.Environment
  , Core.Environment.Extension
  , Core.Generic
  , Core.LogRel
  , Core.LogRel.View
  , Core.Reduction
  , Core.Term
  , Core.Term.NormalForm
  , Core.Term.Substitution
  , Core.Term.Thinned
  , Core.Thinning