blob: 24aaf08982375c448b398ce9bc1a88ae40738848 (
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.Reducible
, Core.Reduction
, Core.Term
, Core.Term.NormalForm
, Core.Term.Substitution
, Core.Term.Thinned
, Core.Thinning
|
