This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Alex
alexleighton.com
did:plc:iebseoda4r2jer7kmj6adpil
Looking at Justin Pombrio's 'Imagining Language Without Booleans' through a monad lens — he defines return and sequence, but not bind.
I'm sure there are other interesting observations down this path for those with more category theory under their belt.
https://alexleighton.com/posts/2025-09-29-re-imagining-a-language-without-booleans.html
2025-09-30T08:37:08.353Z