[darcs-users] Darcs as a higher inductive type
thomashartman1 at gmail.com
Mon Jan 20 01:54:55 UTC 2014
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.
> Eric Kow <http://erickow.com>
> darcs-users mailing list
> darcs-users at darcs.net
More information about the darcs-users