ホーム エクスプローラ ヘルプ
サインイン
darkrenaissance
/
darkfi
2
0
フォーク 0
ファイル 課題 0 プルリクエスト 0 Wiki
ツリー: 743366b673
ブランチ タグ
darkfi
/
scripts
/
old
/
compile.sh

compile.sh 88 B
履歴 Raw

12 
  1. #!/bin/bash
    2. 

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