G golem.ph.utexas.edu In Further Praise of Dependent Types 84 points EvgeniyZh 6 years ago 89 comments
