Accueil Explorer Aide
Connexion
darkrenaissance
/
darkfi
2
0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Aborescence: 847754b5c3
Branches Tags
darkfi
/
scripts
/
old
/
compile.sh

compile.sh 88 B
Historique Raw

12 
  1. #!/bin/bash
    2. 

  2. python scripts/parser.py proofs/sapling3.prf | rustfmt > proofs/sapling3.rs
    3.