Portal 2 Has Co-Op

I am interested how this will play out. From the technical standpoint 2007's Portal has been a miracle. I can imagine it's incredibly complex to program a 2 player Portal campaign.