Abdullah Talayhan

Results 2 issues of Abdullah Talayhan

Changing the example code to minted instead of lstlistings. This results in code blocks that are easier to copy and paste and have better syntax highlighting. We lose the line...

I was writing the following example (an example where there are no constraints with a public input): ``` fn main(pub aa: Field) { let mut xx = aa + 1;...