scallop-lang / scallop-lang.github.io

Official Website of Scallop Language
https://scallop-lang.github.io/
9 stars 7 forks source link

update scallop summer school tutorial #4

Closed moqingyan closed 2 years ago