Comment by masterj

That's a really interesting project! Being able to assert more, statically, about what our software is doing seems like a real growing need