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: Views: Pattern Matching Arrays as Lists.
https://www.stranger.systems/posts/by-slug/views-pattern-matching-arrays-as-lists.html
#idris #FunctionalProgramming
2025-07-26T08:30:14.804Z