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