Idris source code visualizations

1 animated visualization for Idris repositories on GitHub.