GitHub repository: stjordanis/idris-snippets
Primary language: Idris
Description: Collection of Idris snippets