Hi HN, this page is a pitch & demo for my WIP array programming language. Nothing in the type system is novel -- shape-dependent types with constraint solving, loop nest lattice counting, existentials -- but I think the combination is unique (hard to say considering the activity in this space). I find it surprisingly easy to read and debug. I'd love to hear your thoughts if you're a PL person or just work day-to-day with array langs.

Sorry if the web demo doesn't work for you; it depends on a Z3 Wasm build which seems flaky on some browsers. You'll have to try the CLI to get a hands-on experience.