church-eval.ipkg


1
2
3
4
5
6
7
8
9
10
11
12

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

options = "--total"

modules
  = Level0
  , Level1
  , NormalForm
  , Term
  , Thinning