obs.ipkg


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

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

depends = contrib

executable = obs
main = Obs.Main

modules
  = Obs.Abstract
  , Obs.Main
  , Obs.NormalForm
  , Obs.Parser
  , Obs.Sort
  , Obs.Substitution
  , Obs.Syntax
  , Obs.Term
  , Obs.Typing