Interestingly, a function that contains only an in...

# announcements

[natpryce]

Interestingly, a function that contains only an infinite loop has (or can have without type error) a result type of Nothing. so infinite loops and the type system seem to relate somehow