Archived tweet #5237 from the @leastfixedpoint Twitter Archive

RT @copumpkin: Version control/patches/darcs as a higher inductive type, by @admitscut: dlicata.web.wesleyan.edu/pubs/l13git/gi…