Fix syntax errors and obvious compile errors in README

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

Open sternenseemann opened 3 years ago

sternenseemann commented 3 years ago

This should improve documentation somewhat as the examples actually work after being copy pasted.

Note that the example for closures isn't fixed in this commit as I couldn't figure out how to fix it yet. See #152.