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