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

check lets.idr
