Zulip Chat Archive
Stream: batteries
Topic: List.get_zero
Yury G. Kudryashov (Apr 16 2024 at 04:18):
Should docs#List.get_zero use docs#List.head, not docs#List.head? in the RHS?
Yury G. Kudryashov (Apr 16 2024 at 04:19):
(and no some in the LHS)
Last updated: May 02 2025 at 03:31 UTC