package church-eval
authors = "Greg Brown"
sourcedir = "src"

options = "--total"

modules
  = Thinning
  , Total.Encoded.Util
  , Total.LogRel
  , Total.NormalForm
  , Total.Reduction
  , Total.Syntax
  , Total.Term