#! /bin/bash

/home/trisquel/.cabal/bin/idris -i /usr/share/urn_idris/ $*