Finished tranlating 10_Functions.lhs & 11_Functions.lhs