add IdrisShowDoc function