Instance docs: fix test case
commit9bc0b4a79e4de505b34782a0563b20bc8920845e
authorAdam Sandberg Eriksson <adam@sandbergericsson.se>
dateThu 12 Mar 2015, 11:54 (12 years ago)
parent7ba4da0
test/interactive008/run+1
@@ -1,2 +1,3 @@
11#!/usr/bin/env bash
22idris --nobanner --nocolor interactive008.idr < input
3+rm *.ibc