Literate Idris: support added