package church-eval authors = "Greg Brown" sourcedir = "src" options = "--total" modules = Term , Thinning