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
A tour of String Diagrams and Monoidal Categories
November 20, 2020Diagrams meet Category Theory meet Scala
Notes on Category Theory in Scala 3
December 23, 2019Using Scala to learn Math (and vice versa).
Illustrated guide to Types, Sets and Values
September 20, 2019A graphical exploration on the relationship between Types, Sets and Values.