compile.sh 88 B

12
  1. #!/bin/bash
  2. python scripts/parser.py proofs/sapling3.prf | rustfmt > proofs/sapling3.rs