philip_schwarz, 5 days ago to programming

just uploaded to https://fpilluminated.com 🚀🆕 : "A Sighting of filterA in Typelevel Rite of Passage" - based on a short extract from Rock the JVM's great video course #scala #cats #fp #functionalprogramming

direct link: https://fpilluminated.com/deck/220

Jose_A_Alonso, 6 days ago to FunctionalProgramming

Principles of dependent type theory. ~ Carlo Angiuli and Daniel Gratzer (@danielgratzer). https://www.danielgratzer.com/courses/type-theory-s-2024/lecture-notes.pdf #TypeTheory #FunctionalProgramming