This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Andrew Lilley Brinker
alilleybrinker.com
did:plc:geozyv62fx63m7jhr4eraubc
Dynamic step generation makes me nervous for basically the reasons @sunshowers.io lays out in this article on the power and pain of monads in property based testing: https://sunshowers.io/posts/monads-through-pbt/
2025-02-25T01:42:09.874Z