blob: af236cea2798eb6213e4ee158485fdbe900e4902 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
package obs
authors = "Greg Brown"
sourcedir = "src"
depends = contrib
options = "--total"
modules
= Core.Context
, Core.Declarative
, Core.Declarative.Substitution
, Core.Environment
, Core.Generic
, Core.Name
, Core.Reduction
, Core.Term
, Core.Term.NormalForm
, Core.Term.Substitution
, Core.Thinning
, Core.Var
|
