2 10 Elaborator Reflection: Extending Idris in Idris - YouTube - discu.eu

Reddit

Elaborator Reflection: Extending Idris in Idris https://www.youtube.com/watch?v=pqFgYCdiYz4 10 comments 30/3/2017 haskell

Linking pages

Functional Futures: Dependent Types with David Christiansen https://serokell.io/blog/dependent-types-with-david-christiansen 2 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:www.youtube.com

Search title: 2 10 Elaborator Reflection: Extending Idris in Idris - YouTube

See how to search.

Submit link to: