aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/doc/ale-idris.txt (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement Lua ALE setup & overhaul documentationw0rp2025-03-271-3/+10
* Add linter for Idris (#838)Scott Bonds2017-08-101-0/+23