#!/bin/bash
idris test010.idr -o test010