git.iko.soy/Idris-dev
on ebb4fee help sign in
Idris-dev/test/error002/run
4 lines 92 B history raw
1#!/usr/bin/env bash
2${IDRIS:-idris} $@ test031.idr -o test031
3./test031
4rm -f test031 *.ibc