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

unset IDRIS2_PATH

idris2 --no-prelude < input
