module Main

imports

  Syntax
  Analysis
  Manual

language

  extensions : spl

  provider : target/metaborg/stratego.ctree
  provider : target/metaborg/stratego.jar