Added diagrams for idris-documentation.