Add Main.lhs from the codes repo.