We should enable some pretty printing for Velvet programs, in particular it would be nice to - [ ] pretty print annotations in the same way they are shown in the code - [ ] pretty print `:|` - [ ] pretty print while loops if possible (make the look closer to the code) - [ ] pretty print Hoare triples
We should enable some pretty printing for Velvet programs, in particular it would be nice to
:|