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