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