GitHub repository: kasiaMarek/sedris
Primary language: Idris
Description: Sed implementation for Idris