DEV Community

Discussion on: Lean Explained "Mathematically"

Collapse
 
recursivefaults profile image
Ryan Latta

Exactly!

Out of curiosity have you ever read the little book This is Lean? It treats this subject so elegantly. I've never found a better explanation of these concepts, some of the math, and great down to earth examples.

Thread Thread
 
aleixmorgadas profile image
Aleix Morgadas

No, I haven't read that book! But it looks promising, definitely I will read it :)