path: root/church-eval.ipkg

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

options = "--total"

modules
  = Term
  , Thinning