obs.ipkg


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

package obs
authors = "Greg Brown"
sourcedir = "src"

depends = contrib

options = "--total"

modules
  = Core.Context
  , Core.Declarative
  , Core.Environment
  , Core.Name
  , Core.Reduction
  , Core.Term
  , Core.Term.NormalForm
  , Core.Term.Substitution
  , Core.Thinning
  , Core.Var