+ ‘Diagrams/sierpinski.lhs’