[HoTT-reading-group] Solutions to some exercises from the group

[Chris Jeris]

Hi everybody,

My solutions to some of the exercises we've discussed (mostly in Agda) can
be found on my Github account at https://github.com/ystael/hott-sandbox .

peace, Chris
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20140407/3ec0031f/attachment.htm