Revision as of 14:37, 23 October 2008 edit Rehno Lindeque (talk \| contribs) 160 edits No edit summary ← Previous edit		Revision as of 14:41, 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++ (programming language)\|C]] in the [http://shootout.alioth.debian.org/u32q/ats.php The Computer Language Benchmarks Game] which I think makes it quite notable to my mind. If someone is willing to take some time to help investigate this I think it might be good! [[User:Errantkid\|Errantkid]] ([[User talk:Errantkid\|talk]]) 14:3641, 23 October 2008 (UTC) I'm not quite sure which article to link to with regard to theorem proving. [[Automated theorem 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