Revision as of 02:51, 12 May 2012 (view source) rosettacode>Ht No edit summary ← Older edit		Revision as of 02:52, 12 May 2012 (view source) rosettacode>Ht No edit summary Newer edit →
Line 144: == Haskell == Looks like GHC can typecheck the same expression as in the Omega/Agda version. Сan not guarantee the totality, however. — [[User:Ht\|Ht]] 02:52, 12 May 2012 (UTC)

Talk:Proof: Difference between revisions

Talk:Proof (view source)