• Negative reasoning in Chalk · Aaron Turon http://aturon.github.io/blog/2017/04/24/negative-chalk/ 4 comments 24/4/2017 rust