. ../../../testutils.sh
check loopy.idr -p contrib
