diff options
| author | Ben Sima <ben@bsima.me> | 2019-11-02 15:54:20 -0700 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2019-11-02 17:13:04 -0700 |
| commit | ed4e214d481f67f796014aa80731b6d273618b6c (patch) | |
| tree | f44cd4b80de8b624f38f7637f4615b79517ee993 /ghci | |
| parent | 9d114cfc773171b0a95bd4d2c39f1bb0eb783c8d (diff) | |
add common scripts, remove old scripts, update readme
Diffstat (limited to 'ghci')
| -rwxr-xr-x | ghci | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -0,0 +1,2 @@ +#!/usr/bin/env bash +nix run -f default.nix "$@.ghc" -c ghci |