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