Lean for Scala programmers - Part 3
April 16, 2021Dependent Types and Type Classes
Personal blog of Juan Pablo Romero Méndez.
Dependent Types and Type Classes
Inductive types and pattern matching
Exploring dependent types with Lean and Scala
Using Scala to learn Math (and vice versa).