Shapeless

Introduction to programming with dependent types in Scala (Stepik)

Dive into the world of programming with this comprehensive course on dependent types in Scala. Whether you're new to programming or seeking to advance your skills, this course offers a structured introduction to type theory, homotopy type theory (HoTT), and dependent-type programming. Learn how to leverage these concepts for powerful type-level programming and theorem proving within the versatile Scala language.