This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Justin Garcia
purefunctor.me
did:plc:ndk5we7rju2e7cv6jj3hrm5w
"However, we wish to stay close to programming practice and define patterns as follows"
http://moscova.inria.fr/~maranget/papers/warn/warn003.html
2026-01-29T18:14:07.855Z