Initial checkin.

Change-Id: Ib0f503f39cedb6fcc11f80a3b309e4cbb7ed438f
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..4353b27
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,7 @@
+*~
+*.iml
+
+/config.dhall
+
+/.idea
+/.stack-work