The return type “Nothing” should be called “Mu” in...
# randomm
michaelzinn
08/21/2017, 9:58 AMThe return type “Nothing” should be called “Mu” instead.
k
karelpeeters
08/21/2017, 10:00 AMMu as in
μh
hho
08/21/2017, 10:03 AMProbably Mu as in
無hho
08/21/2017, 10:04 AMm
michaelzinn
08/21/2017, 11:13 AMYeah, Mu, not µ, as in “You can’t really answer the question about the return type since it doesn’t return”
michaelzinn
08/21/2017, 11:14 AM“Mu” is a good answer if the question is unanswerable.
l
lex
08/21/2017, 11:24 AMMu