ekmett/hask — pull request #1 by echatav (2014-08-04 02:35:44+00:00)
Title: Day convolution of copresheaves

Day convolution of copresheaves is a copresheaf
Day convolution is a bifunctor of copresheaves