Like https://github.com/srid/haskell-template but for Idris 2 - View it on GitHub