|
|
|
|
|
by gosub100
974 days ago
|
|
> Is it better to ask and wait for an answer instead? No, around here it's better to say "So dependent types are pretty much $SOMETHING_COMPLETLY_WRONG ?" and wait for all the "corrections" (aka Cunningham's law someone linked to nearby). |
|