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