sweirich/pi-forall — pull request #1 by nomeata (2014-06-16 18:41:07+00:00)
Title: Update comment in Hw1

(`let` was in a previous version, it seems.)