$1 Door.idr --check
$1 Stack.idr --check
$1 StackIO.idr --check
$1 Vending.idr --check

rm -rf build