how does it work?

This is a description of the compiler's flow.

A tket circuit is extreamely versatile. From there we can compile to anything or even start simulations.