blob: df7b2c0cd4d0b0783e0c262ef15eadadb5e00b61 (
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.Declarative
, Core.Environment
, Core.Environment.Extension
, Core.Generic
, Core.LogRel
, Core.LogRel.View
, Core.Reduction
, Core.Term
, Core.Term.NormalForm
, Core.Term.Substitution
, Core.Term.Thinned
, Core.Thinning
|
