obs.ipkg


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

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

depends = contrib

options = "--total"

modules
  = Core.Declarative
  , Core.Environment
  , Core.Reduction
  , Core.Term
  , Core.Term.NormalForm
  , Core.Term.Substitution
  , Core.Term.Thinned
  , Core.Thinning