2 ms·
> I’m a 17 y/o software engineer Pretty cool! wonder what brought him to lambda calculus.
by yodsanklai 5y ago
> I’m a 17 y/o software engineer
Pretty cool! wonder what brought him to lambda calculus.
- Hirrolot 5y agoI learnt it from "Type Theory and Formal Proof" when I wanted to understand type theory (I was in a community of functional programmers). BTW, nice book, I always recommend it to absolute beginners.