They have publicly stated that the system is written in C++ on Suse Linux.
http://www.computerworlduk.com/news/open-source/3260727/lond...
http://www.computerworlduk.com/news/open-source/3260727/lond...
I suspect that if there is any F# code, it's in a 3rd party system that talks to the stock exchange. There are lots of those due to the nature of an exchange, though they should all talk over the standard FIX protocol.
Why not? What makes you think this is a lie?