Wikipedia

Talk:ATS (programming language)

This is an old revision of this page, as edited by Rehno Lindeque (talk | contribs) at 14:36, 23 October 2008 (←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...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Latest comment: 16 years ago by Errantkid

Hi there, it appears that ATS often performs better than C++ in the The Computer Language Benchmarks Game which I think makes it quite notable. Errantkid (talk) 14:36, 23 October 2008 (UTC)Reply

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? Errantkid (talk) 14:36, 23 October 2008 (UTC)Reply

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:ATS_(programming_language)&oldid=247176750"