This is becoming funny. I recommend this book for you, you should read it. I hav... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		auggierose on Feb 26, 2024 \| parent \| context \| favorite \| on: Tacit programming This is becoming funny. I recommend this book for you, you should read it. I have: https://www.cambridge.org/core/books/term-rewriting-and-all-...

epgui on Feb 26, 2024 [–]

Funny indeed, that’s the first reference on the wiki article. shrugs

auggierose on Feb 27, 2024 | [–]

So you've read it?

I wouldn't think so, because you don't seem to know the first thing about equational reasoning, namely that it is ALWAYS ABOUT EQUATIONS.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact