church-eval.ipkg


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

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

options = "--total"

depends = contrib

modules
  = Encoded.Arith
  , Encoded.Bool
  , Encoded.Container
  , Encoded.Fin
  , Encoded.Pair
  , Encoded.Sum
  , Encoded.Union
  , Encoded.Vect
  , Term
  , Term.Pretty
  , Term.Semantics
  , Term.Syntax
  , Thinned
  , Thinning
  , Type