/sedris

Sed implementation for Idris

Primary LanguageIdris

Stargazers