diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-01-29 23:11:03 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-01-29 23:11:03 +0200 |
| commit | 649319b1dafb130801638c5a156e37d9e865ba5c (patch) | |
| tree | 7bc633565d87c3bbebc7c67f6bbda10db6c13f21 /run.sh | |
| parent | 4d1a0eea5a433724764b4178d16fcb50d1c2b6bc (diff) | |
Implement strings as phrases of chars
Diffstat (limited to 'run.sh')
| -rwxr-xr-x | run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -3,3 +3,4 @@ set -uxo pipefail ghc -o interpreter src/*.hs ./interpreter $@ +rm src/*.{hi,o} |
