throwthrow0987 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

throwthrow0987 10mo

Thanks, very clear explanation.

AboutSource Built by g1lg1l

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