Update ch03.lhs

#2