GitHub repository: melted/get-idris
Primary language: PowerShell
Description: Setting up an Idris dev environment on Windows