Add runghcid.bat.
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sat, 22 Aug 2015 16:59:18 +0000 (17:59 +0100)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sat, 22 Aug 2015 16:59:18 +0000 (17:59 +0100)
runghcid.bat [new file with mode: 0644]

diff --git a/runghcid.bat b/runghcid.bat
new file mode 100644 (file)
index 0000000..f2f8ddc
--- /dev/null
@@ -0,0 +1 @@
+ghcid --height=8 --topmost "--command=ghci -isrc -Wall src/Main.hs"\r