[darcs-users] Darcs as a higher inductive type

Eric Kow eric.kow at gmail.com
Sun Jan 19 08:34:53 UTC 2014


Hey darcs-users,

Thought you might be interested in Dan Licata's slides on Darcs as a
higher inductive type.

http://dlicata.web.wesleyan.edu/pubs/l13git/git.pdf



-- 
Eric Kow <http://erickow.com>


More information about the darcs-users mailing list