summaryrefslogtreecommitdiff
path: root/test/command_callback/test_idris_command_callbacks.vader
AgeCommit message (Expand)Author
2018-07-15Massively reduce the amount of code needed for linter testsw0rp
2017-08-10Add linter for Idris (#838)Scott Bonds