News for hackers. Stuff that matters.

A comment on Darcs as a higher inductive type. Parent comment

Re:Darcs as a higher inductive type by lelf on Monday January 20, 2014 @12:05PM (#7090499)
M-x package-install darcsum
[ Parent | on HN ]

There are no comments on this comment yet.