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