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