. ../../../testutils.sh

idris2 casefn.idr < input