a project manage tool for Idris. Contribute to zjhmale/idringen development by creating an account on GitHub.