Status Updates From The Lambda Calculus: Its Sy...

Status Updates Showing 1-17 of 17

Yago is on page 30 of 621

Yan Couto is on page 142 of 656

Super cool and hard to grasp the recursiveness. I skipped a couple chapters to get to the part I liked the most, the book is very dense.

Kartik Singhal is on page 156 of 656

Kartik Singhal is on page 151 of 656

Kartik Singhal is on page 139 of 656

Kartik Singhal is on page 131 of 656

Kartik Singhal is on page 86 of 656

Kartik Singhal is on page 76 of 656

Kartik Singhal is on page 58 of 656

Kartik Singhal is on page 51 of 656

Kartik Singhal is on page 39 of 656

— Jan 28, 2018 04:57PM 2 comments

Kartik Singhal is on page 25 of 656

Kartik Singhal is on page 9 of 656

Fernando is on page 22 of 656

Fernando is on page 6 of 656

Nick Armstrong is 15% done

Nick Black is on page 68 of 621

just past Beta Reduction. This book is stupidly difficult. :/