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