search

scallop-lang / scallop-lang.github.io

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

Minor fix #22

Closed moqingyan closed 2 years ago