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)
- Haskell Fundamentals (2-Day Course) with Alejandro Serrano (Online Course on 5th - 6th July 2021)
- Haskell eXchange 2021 (Online Conference on 16th - 17th November 2021)
- Abstract Fun-sense: a functional perspective on life (SkillsCast recorded in May 2021)
- Resource Analysis with Refinement Types (SkillsCast recorded in May 2021)