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> _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
