This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Antal Spector-Zabusky
antalsz.bsky.social
did:plc:xv4fi72mzj2m5zmz6c3vobkk
Functional programming, type systems, procedural art | PhD on building hs-to-coq from UPenn | he/him
antalsz on Twitter, Mastodon @types.pl, Tumblr, Cohost, CounterSocial, Hive, GitLab, and GitHub, but not using most of the social ones.