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 ! 🤩
Replying to
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
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!
1
1
Show replies