Add Idris support

Signed-off-by: Geoff Lane <geoff@zorched.net>