$1 --check VIndex.idr

rm -rf build