From: janburse@fastmail.fm   
      
   Hi,   
      
   Now you can listen to Bird songs for a minute:   
      
   2016 Dana Scott gave a talk honoring Raymond Smullyan   
   https://www.youtube.com/watch?v=omz6SbUpFQ8   
      
   A little quiz:   
      
   Q: And also on the Curry-Howard Isomorphism. Is   
   there a nice way to put it in bird-forest form like To   
   Mock a Mocking Bird. This book made everything so   
   simple and intuitive for me.   
      
   A: Hardly, because xx has no simple type.   
      
   Right?   
      
   Bye   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)