This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Nathan "Lobotomized Ferret"
stranger.systems
did:plc:p3roggqiow3dskiewaahnk6x
🐉 New Idris Post: Any, All, and the Hidden Power of lolnogenerics
https://staging.stranger.systems/trunk/posts/by-slug/any-all-and-the-hidden-power.html
#Idris #FunctionalProgramming
2025-08-04T16:18:50.410Z