Dependent if expressions without dependent types

(haskellforall.com)

1 points | by birdculture 10 hours ago ago