Dependent if expressions without dependent types 0 ▲ Haskell for all 2 hours ago · Tech · hide · 0 comments Folklore trick for dollar-store dependent types No comments yet. Log in to reply on the Fediverse. Comments will appear here.
