Comments

• A point of history, Wadler did not introduce monads in PL's, Moggi and Plotkin did.

  in About "category" in everyday language Comment by Robert Harper October 2018
• Wow, thank you!

  in Introduction: Robert Harper Comment by Robert Harper April 2018
• I think you want to say $$\top\to X\vee\neg X,$$ the converse being "for free".

  in Lecture 9 - Chapter 1: Adjoints and the Logic of Subsets Comment by Robert Harper April 2018
• Glad to hear of your appreciation of my books!

  in Introduction: Robert Harper Comment by Robert Harper April 2018