G github.com ZZ is a modern formally provable dialect of C 266 points the_duke 6 years ago 153 comments
