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