9 lines
92 B
Haskell
9 lines
92 B
Haskell
module Main where
|
|
|
|
import Example
|
|
import Typecheck
|
|
|
|
main = do
|
|
Example.runTypeCheck
|
|
|