pigworker/MetaprogAgda — pull request #1 by ohad (2013-08-06 09:41:19+00:00)
Title: marked missing material in the notes 

(the identity and the constant functors are normal). We did cover this in the lecture, but there is no trace for it in the notes, and this is later referenced.