BPS-0.1.0.0: src/main/haskell/app/Main.hs

module Main where

import ATMSTrun
import JTMSrun

main :: IO ()
main = do
  runATMS1
  -- runJTMS1
  return ()