module Main where

import Typecheck
import ProofState

main = putStrLn "Nothing Happens"