Just my take on the Idris logo - View it on GitHub