From ed4e214d481f67f796014aa80731b6d273618b6c Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sat, 2 Nov 2019 15:54:20 -0700
Subject: add common scripts, remove old scripts, update readme

---
 ghci | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 ghci

(limited to 'ghci')

diff --git a/ghci b/ghci
new file mode 100755
index 0000000..be1cd94
--- /dev/null
+++ b/ghci
@@ -0,0 +1,2 @@
+#!/usr/bin/env bash
+nix run -f default.nix "$@.ghc" -c ghci
-- 
cgit v1.2.3