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

idris2 PatLam.idr < input
