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

depends = contrib

executable = obs
main = Obs.Main

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