Skip to content

Latest commit

 

History

History
3 lines (2 loc) · 106 Bytes

README.org

File metadata and controls

3 lines (2 loc) · 106 Bytes

:lang idris

Adds support for the idris programming language.