{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
module Machine where

-- import Data.Char (Char)
import Data.Text (Text)
import Data.Functor ((<$>))
import System.IO (IO)

import qualified Symantic.Parser as P
import Grammar