Please log in to watch this conference skillscast.
It's easy to think in your endless 9-to-5 that Idris is all there is: it's your backend, frontend, mobile apps, and endless libraries to learn each week. It's about time someone asked: what can you learn from academia?
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)
- The Secrets of the GHC Garbage Collector (in Online Event on 11th June 2020)
- Fast Code: Save Money By Overcoming Bottlenecks (SkillsCast recorded in October 2019)
- Lightning Talk: Making and Testing Code Generators in Haskell (SkillsCast recorded in October 2019)