only thing I can imagine is that they are building it with Unity, hence the C#. You can compile other languages to SWF bytecode, that's what Haxe is.