git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/test/test014/run
4 lines 91 B history raw
1#!/bin/bash
2idris $@ test014.idr -o test014
3./test014
4rm -f test014 resimp.ibc test014.ibc