Add lhs file