-

Did Linear Logic homework.

Talked with mhock and tom7 about 3d sokoban.