Please log in to watch this conference skillscast.
compose with the surprising power of dependent type signatures.
In the end, Tom will guarantee that you'll be impressed at how far you can get with the Idris that you have today!
YOU MAY ALSO LIKE:
- Lightning Talk: Who Cares About GHC 8.6? (SkillsCast recorded in October 2018)
- Vue.js and TypeScript: Working Together like Peanut Butter and Jelly (Online Meetup on 3rd February 2022)
- Haskell: Why and How the External STG Interpreter is Useful (SkillsCast recorded in December 2021)
- Keynote — Haskell: What To Do When Success Can't Be Avoided (SkillsCast recorded in November 2021)