#!/usr/bin/env bash
idris --consolewidth 80 $@ totality004.idr -o totality004
./totality004
idris --consolewidth 80 $@ --check totality004a.idr 
rm -f totality004 *.ibc