`Nothing` is a very special type with properties t...

# getting-started

[cedric]

Nothing is a very special type with properties that no other type has. The technical term is "bottom type" if you want to read up on some theory