git.iko.soy/Idris-dev
on ca34dec help sign in
Idris-dev/test/reg027/run
5 lines 127 B history raw
1#!/usr/bin/env bash
2${IDRIS:-idris} $@ reg027.idr -o reg027
3./reg027
4${IDRIS:-idris} $@ reg027a.idr --check
5rm -f reg027 *.ibc