Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.
Moved to [/doc/languages-frameworks/idris.section.md](/doc/languages-frameworks/idris.section.md)
