#!/usr/bin/env bash
idris --quiet --nobanner --nocolor  --consolewidth 80 < input