module Main where

import Example
import Typecheck

main = do
    Example.runTypeCheck