|
|
|
|
|
|
by thetwiceler
4205 days ago
|
|
|
In the type theory literature, it is rather the other way: Void is synonymous with the bottom type. I don't know who has first claim to the name "void", but from the type theory perspective, it is C, Java, et. al. who have it backwards. |
|
|