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 eXchange 2021: Novice Track (Online Conference on 15th November 2021)
- Haskell eXchange 2021: Pro Track (Online Conference on 16th - 17th November 2021)
- Accessibility Testing: Why and How to involve People with Disabilities (Online Meetup on 28th October 2021)
- Hashing Modulo Alpha Equivalence (SkillsCast recorded in May 2021)