[darcs-users] Darcs as a higher inductive type

[Thomas Hartman]

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
> darcs-users at darcs.net
> http://lists.osuosl.org/mailman/listinfo/darcs-users