GitHub repository: quephird/idris-printf
Primary language: Idris
Created: 2018-01-28T01:32:17Z
Description: A type-safe implementation of `printf` inspired by an exercise from Edwin Brady's TDD in Idris book