I've poked around three of those links and still not found an accessible good reason. But I am excited to try this, having never used this language before. It r

I've poked around three of those links and still not found an accessible good reason. But I am excited to try this, having never used this language before. It rolls into the language a perfect abstraction for deterministically simulating software. See Antithesis's big promises for more. I'm curious to see if this model of flows can be ported to other languages.