church-eval.ipkg


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

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

options = "--total"

depends = contrib

modules
  = Subst
  , Thinning
  , Total.Encoded.Test
  , Total.Encoded.Util
  , Total.LogRel
  , Total.NormalForm
  , Total.Pretty
  , Total.Reduction
  , Total.Syntax
  , Total.Term
  , Total.Term.CoDebruijn