Dependent if expressions without dependent types haskellforall.com· lo · ▲ 0 points · Sep 2, 2026 haskellforall.com Dependent if expressions without dependent types Folklore trick for dollar-store dependent types
0 comments
No comments yet.