3 ms·
It makes recursion easier. For example: ∀(head::tail) = head ∩ ∀(tail) if ∀([]) is defined as true then this works for the single element list.
by rwmj 3y ago
It makes recursion easier. For example:
∀(head::tail) = head ∩ ∀(tail)
if ∀([]) is defined as true then this works for the single element list.