#!/usr/bin/env bash
idris $@ defaultLogger.idr -o default -p effects
./default
idris $@ categoryLogger.idr -o category -p effects
./category
rm -f default category *.ibc