Comment Comment by szany See also Bob Harper's blog for a more leisurely exposition:https://existentialtype.wordpress.com/2011/03/27/the-holy-tr... parent szany 11 years ago
https://existentialtype.wordpress.com/2011/03/27/the-holy-tr...