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