minor fixes for last merged PR - Githubissues

zksecurity / noname

Noname: a programming language to write zkapps

https://zksecurity.github.io/noname/

178 stars 44 forks source link

minor fixes for last merged PR #82

Closed katat closed 3 months ago