Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Dependent types and how to get rid of them
chadnauseam.com
123 points
pie_flavor
7 months ago
Recent and related:
Why don't you use dependent types?
-
https://news.ycombinator.com/item?id=45790827
(116 comments)
81 comments
Loading...
Dependent types and how to get rid of them | Heykuki News