rm -rf build

$1 -c Fact.idr -o fact
./build/exec/fact

