Revision as of 14:36, 23 October 2008 edit Rehno Lindeque (talk \| contribs) 160 edits ←Created page with 'Hi there, it appears that ATS often performs better than C++ in the [http://shootout.alioth.debian.org/u32q/ats.php The Computer Language Benchmarks Game] which I t...'		Revision as of 14:37, 23 October 2008 edit undo Rehno Lindeque (talk \| contribs) 160 edits No edit summary Next edit →
Line 1: Hi there, it appears that ATS often performs better than C++ in the [http://shootout.alioth.debian.org/u32q/ats.php The Computer Language Benchmarks Game] which I think makes it quite notable. [[User:Errantkid\|Errantkid]] ([[User talk:Errantkid\|talk]]) 14:36, 23 October 2008 (UTC) I'm not quite sure which article to link to with regard to theorem proving. [[Automated ~~Theorem~~theorem ~~Proving~~proving]] does not look correct to me. Help please? [[User:Errantkid\|Errantkid]] ([[User talk:Errantkid\|talk]]) 14:36, 23 October 2008 (UTC)

Talk:ATS (programming language): Difference between revisions