ChadNauseam on Why don't you use dependent types? · Hackerly

Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

Comment on Why don't you use dependent types?parent

Comments

ChadNauseam 10mo

Exactly!

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.