Dan Licata is great. I have only read the beginning parts, which are talking git. Does the paper eventually switch to a darks focus?
On Jan 19, 2014, at 12:34 AM, Eric Kow wrote: > 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 _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
