git.iko.soy/Idris-dev
on aeb032a help sign in
Idris-dev/test/layout001/run
22 lines 422 B history raw
1#!/usr/bin/env bash
3${IDRIS:-idris} --nobanner --nocolour --quiet --port none <<!
4:load layout001a.idr
5:load layout001b.idr
6:load layout001c.idr
7:load layout001d.idr
8:load layout001e.idr
9:load layout001f.idr
10:load layout001g.idr
11:load layout001h.idr
12:load layout001i.idr
13:load layout001j.idr
14:load layout001k.idr
15:load layout001l.idr
16:load layout001n.idr
17:load mplus1.idr
18:load mplus2.idr
19:load mplus3.idr
22rm -f *.ibc