Initial commit

Initial version of project. What is done:
* Syntax of expressions,commands,programs and types
* Crude typechecking
* Some typechecking tests

1 files changed, 6 insertions, 0 deletions

diff --git a/test/Spec.hs b/test/Spec.hs
new file mode 100644
index 0000000..4e3f0c1
--- /dev/null
+++ b/test/Spec.hs
@@ -0,0 +1,6 @@
+import Test.Hspec
+import TypecheckTest
+main :: IO ()
+main = hspec $ do
+  typecheckTest
+