#!/usr/bin/env bash
cd toy
${IDRIS:-idris} $@ --build toy.ipkg --ibcsubdir ../ibcout
cd ../ibcout
${IDRIS:-idris} $@ --quiet < ../input
cd ..
rm -rf ibcout