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