{-# OPTIONS_GHC -fglasgow-exts #-}

module Main where

import Regular
import qualified Read as G
import Logic

test :: String -> Logic
test = G.read

main = undefined