#!/usr/bin/env bash
idris $@ simplelog.idr -o simple -p effects
./simple
idris $@ defaultlog.idr -o default -p effects
./default
rm -f simple default *.ibc