#!/bin/bash
idris --quiet test026.idr < input
rm -f *.ibc