Impredicative Wiki http://www.impredicative.com/wiki/index.php/Main_Page MediaWiki 1.19.20+dfsg-2.3 first-letter Media Special Talk User User talk Impredicative Wiki Impredicative Wiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Main Page 0 1 ou359sajdg4dp29ttx9uk2jxnfwigr8 32 2010-01-14T16:16:07Z Admin 1 Revert defacement This is the public wiki for products of [http://www.impredicative.com/ Impredicative LLC]. == Topics == * [[Ur|The Ur programming language family]]