GitHub repository: ostera/idris-logo
Created: 2017-04-02T12:33:23Z
Description: Just my take on the Idris logo