Dependent if expressions without dependent types haskellforall.com 4 points by g0xA52A2A a month ago · 0 comments Reader PiP Save No comments yet.