git.iko.soy/Idris-dev
on fa29447 help sign in
Idris-dev/test/reg002/run
4 lines 67 B history raw
1#!/bin/bash
2idris reg002.idr -o reg002
3./reg002
4rm -f reg002 *.ibc