shiandow 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?

Comments

Is it me or do dependent types look really similar to the axiom of choice?

AboutSource Built by g1lg1l

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