. ../../testutils.sh

check fromInteger.idr
run Num.idr
run performance.idr
