/ ‘Literate/example.lhs’