A Helm datasource for querying the Idris compiler - View it on GitHub