git.iko.soy/Idris-dev
on b56ef01 help sign in
Idris-dev/test/basic024/run
8 lines 146 B history raw
1#!/usr/bin/env bash
3${IDRIS:-idris} $@ --quiet --port none < input
4${IDRIS:-idris} $@ basic024.idr -o basic024
6./basic024
8rm -f basic024 *.ibc