All public logs

Combined display of all available logs of HaskellWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 05:44, 5 November 2006 Uchchwhash talk contribs moved page Talk:Curry-Howard isomorphism to Talk:Curry-Howard-Lambek correspondence (wikipedia covers Curry-Howard quite well. Haskell takes category theory more seriously.)
• 05:44, 5 November 2006 Uchchwhash talk contribs moved page Curry-Howard isomorphism to Curry-Howard-Lambek correspondence (wikipedia covers Curry-Howard quite well. Haskell takes category theory more seriously.)