ezyang opened this issue 9 years ago · 0 comments
http://www.impredicative.com/ur/ Proof: http://adam.chlipala.net/papers/UrWebICFP15/