Dependent if expressions without dependent types

(haskellforall.com) by g0xA52A2A | Sep 2, 2026 | 0 comments on HN