summaryrefslogtreecommitdiff
path: root/doc/ale-idris.txt
AgeCommit message (Expand)Author
2017-08-10Add linter for Idris (#838)Scott Bonds