Piecewise Isometries Plotter
December 28, 2024Interactive visualization of piecewise isometry fractals
Juan Pablo Romero Méndez
Exploring type theory, functional programming, and proof assistants
Simulating Subtyping and Object Oriented Polymorphism in Lean
September 13, 2022The Object Oriented design pattern
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.