#! /bin/bash

urn_idris --execute --ibcsubdir /tmp/ $1
rm /tmp/*.ibc -f