git.iko.soy/Idris-dev
on master help sign in
Instance docs: fix test case
9bc0b4aAdam Sandberg Eriksson
test/interactive008/run+1
compare with master
unifiedsplit
@@ -1,2 +1,3 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2idris --nobanner --nocolor interactive008.idr < input
2idris --nobanner --nocolor interactive008.idr < input
3+rm *.ibc