BOOOKS
Conversation
🥧🐘🐘🐘🐘🐘🐘
1
7
Sadly I have a day of work before I can sample more of this tasty book. At least I now understand what an 'atom is! Thanks ! 🤩
1
1
As long as you also understand what it means for one expression to be the same Atom as another, you're good to go!
1
1
Replying to
Got through a couple of chapters yesterday, find the way of hiding judgements in English sentences super neat! But I also really appreciate the appendix that shows it all in the familiar (weird) notation! Could be a great way to get folks into type theory!
Replying to
Hey, one chapter per day! Let it sink in! :-) Teasing aside, I hope that we've found a good way to present it to those for whom math notation is not the preferred communication style.
Thanks!
1