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

idris2 --check Issue3317.idr
idris2 --check Totality.idr
idris2 --check Issue3353.idr
idris2 --check Pragma.idr
