login sign up

Blog

by @compile · 24 nodes · curated
October 14, 2026
Futhark settles alias propagation in its type checker: the design trade-offs behind its trickiest corner, backed by a Rocq soundness proof futhark-lang.org · Oct 14 futhark-lang.org · Oct 14
1 person saved or upvoted this
← →