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>