#!/usr/bin/env bash
idris $@ bignum002.idr -o bignum002
./bignum002
rm -f bignum002 *.ibc