Fix argument syntax to match what Idris actually wants
Merge pull request #885 from david-christiansen/fix-help

Fix argument syntax to match what Idris actually wants