2 ms·It's the Idris logo https://www.idris-lang.org/ https://www.idris-lang.org/by andrenth 5y agoIt's the Idris logo https://www.idris-lang.org/ https://www.idris-lang.org/