git.iko.soy/Idris-dev
on 385dcbf help sign in
Idris-dev/test/unique004/run
14 lines 264 B history raw
1#!/usr/bin/env bash
3${IDRIS:-idris} --nobanner --nocolour --quiet --port none <<!
4:load unique001a.idr
5:load unique001b.idr
6:load unique001c.idr
7:load unique001d.idr
8:load unique001e.idr
9:load unique002.idr
10:load unique002a.idr
11:load unique003.idr
14rm -f *.ibc