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