MetaprogAgda icon indicating copy to clipboard operation
MetaprogAgda copied to clipboard

Published 20 hours ago • verified publisher icon pigworker

marked missing material in the notes

Open ohad opened this issue 11 years ago • 0 comments

(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.

ohad avatar Aug 06 '13 09:08 ohad