Closed jfmengels closed 2 years ago
This makes it so that we don't unnecessarily compute head in the case where the tail is empty.
head
Makes sense. Thanks @jfmengels !
This makes it so that we don't unnecessarily compute
head
in the case where the tail is empty.