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