discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Darcs as a higher inductive type
http://dlicata.web.wesleyan.edu/pubs/l13git/git.pdf
5 comments
20/1/2014
Reddit
Darcs as a higher inductive type
http://dlicata.web.wesleyan.edu/pubs/l13git/git.pdf
4 comments
19/1/2014
haskell