Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Why don't you use dependent types?
lawrencecpaulson.github.io
269 points
baruchel
7 months ago
116 comments
Loading...
Why don't you use dependent types? | Heykuki News