/ ‘Diagrams/sierpinski.lhs’