From 584239a1a0c97f9d57f2de76c04708127178bceb Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Tue, 14 Jul 2020 20:29:53 -0700
Subject: dev: move some commands to shell

---
 repl | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100755 repl

(limited to 'repl')

diff --git a/repl b/repl
deleted file mode 100755
index b09bb5a..0000000
--- a/repl
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/usr/bin/env bash
-set -ex
-nix run -f $BIZ_ROOT/default.nix "repl" \
-  -c ghci -i$BIZ_ROOT -ghci-script "$BIZ_ROOT/.ghci"
-- 
cgit v1.2.3