- Type Providers and Error Reflection in Idris - a talk from Compose Conference https://www.youtube.com/watch?v=dP2imvL92sY 5 comments programming
- Compose Conference - Type Provides and Error Reflection in Idris https://www.youtube.com/watch?v=dP2imvL92sY 14 comments haskell
Linking pages
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:youtu.be
Search title: Compose Conference - Type Providers and Error Reflection in Idris - YouTube
See how to search.