首頁 探索 說明
登入
darkrenaissance
/
darkfi
2
0
複刻 0
Files 問題管理 0 合併請求 0 Wiki
目錄樹: 743366b673
分支列表 標籤列表
darkfi
/
scripts
/
old
/
compile.sh

compile.sh 88 B
文件歷史 原始文件

12 
  1. #!/bin/bash
    2. 

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