#!/usr/bin/env bash

${IDRIS:-idris} --nobanner --nocolour --quiet --port none <<!
:load layout001a.idr
:load layout001b.idr
:load layout001c.idr
:load layout001d.idr
:load layout001e.idr
:load layout001f.idr
:load layout001g.idr
:load layout001h.idr
:load layout001i.idr
:load layout001j.idr
:load layout001k.idr
:load layout001l.idr
:load layout001n.idr
:load mplus1.idr
:load mplus2.idr
:load mplus3.idr
!

rm -f *.ibc
