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