Please log in to watch this conference skillscast.
YOU MAY ALSO LIKE:
- This Ain't Your Daddy's Probability Monad - Modelling Probabilistic Time in Haskell (SkillsCast recorded in October 2019)
- Haskell eXchange 2021: Novice Track (Online Conference on 15th November 2021)
- Haskell eXchange 2021: Pro Track (Online Conference on 16th - 17th November 2021)
- Hashing Modulo Alpha Equivalence (SkillsCast recorded in May 2021)
- In The Belly Of The Whale: Tales From Haskell In The Enterprise (SkillsCast recorded in May 2021)
Lightning Talk: Protop--Dependent Types through Topoi