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