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