Awesome

dependent-types

Personal notes taken from the course ThCS. Introduction to programming with dependent types in Scala.

• Typeclasses
• Path Dependent Types
• Dependent Pair Type (Σ-Type)
• Dependent Function Type (Π-Type)
• Type Level Programming (vs. Value Level)