szany·11 年前·議論See also Bob Harper's blog for a more leisurely exposition:https://existentialtype.wordpress.com/2011/03/27/the-holy-tr...