zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

Make hello example simpler #50

Closed richardanaya closed 4 years ago

richardanaya commented 4 years ago

I looked into this project and it was cognitive overload of what was happening. I think a simpler example would give someone a clearer picture whats going on.

aep commented 4 years ago

i think there's a need for a much more structured documentation anyway, in the form of an mdbook

richardanaya commented 4 years ago

that would be awesome!

johnwcowan commented 4 years ago

I strongly agree. I'm one of those people who learns languages by devouring the reference manual, and for me K & R is exactly what such a manual should look like.

Even something as simple as a BNF-ish grammar would be very helpful. Trying to guess the syntax by looking at examples just doesn't work for me.

jwerle commented 4 years ago

@johnwcowan here are a few examples of it in the wild

aep commented 4 years ago

@johnwcowan see the formal PEG here https://github.com/zetzit/zz/blob/master/src/zz.pest

let me know if it is readable. i too enjoy learning languages from their formal definition

johnwcowan commented 4 years ago

Thanks, this is great!

jwerle commented 4 years ago

We've added some examples to a repository here: https://github.com/little-core-labs/zz-examples and in an effort to share ZZ on Twitter, we've been sharing through an unofficial account: https://twitter.com/zetztweets

aep commented 4 years ago

@jwerle thats amazing! Thank you so much.

If you'd like to add me (@ arvidep) to that twitter account, here's how to use shared accounts: https://help.twitter.com/en/using-twitter/tweetdeck-teams

jwerle commented 4 years ago

@aep done!

aep commented 4 years ago

dup of #82