[pvillano]

Fully automated testing + revision loops are super cool and def something I want to play with

And PBT is so close to language level invariants/preconditions/post-conditions that I dream of