GitHub repository: ziman/text
Primary language: Idris
Description: Text framework for Idris