Lean for Scala programmers
February 28, 2021Exploring dependent types with Lean and Scala
Personal blog of Juan Pablo Romero Méndez.
Notes on Category Theory in Scala 3 (Dotty)
December 23, 2019Using Scala to learn Math (and vice versa).
Personal blog of Juan Pablo Romero Méndez.
Exploring dependent types with Lean and Scala
Using Scala to learn Math (and vice versa).