Dependent if expressions without dependent types

(haskellforall.com) by birdculture | Sep 3, 2026 | 0 comments on HN