GitHub repository: srid/idris-template
Primary language: Nix
Description: Like https://github.com/srid/haskell-template but for Idris 2