#!/usr/bin/env bash
${IDRIS:-idris} $@ basic020.idr -o basic020
./basic020
rm -f basic020 *.ibc