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