Thanks! But I don’t think it quite worked? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		azdavis 3 months ago \| parent \| context \| favorite \| on: Dependent types and how to get rid of them Thanks! But I don’t think it quite worked?

ChadNauseam 3 months ago [–]

Ought to be fixed now

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact