Simulating Subtyping and Object Oriented Polymorphism in Lean
September 13, 2022The Object Oriented design pattern
Personal blog of Juan Pablo Romero Méndez.
Lean for Scala programmers - Part 4
June 01, 2021Proofs and tactics
Lean for Scala programmers - Part 3
April 16, 2021Dependent Types and Type Classes
Lean for Scala programmers - Part 2
March 14, 2021Inductive types and pattern matching
Lean for Scala programmers - Part 1
February 28, 2021Exploring dependent types with Lean and Scala
Notes on Category Theory in Scala 3
December 23, 2019Using Scala to learn Math (and vice versa).