Typo in kind of '(:) #36
Description
In §2.3.3 List, it is written that '(:) has kind A -> [A], but it should be A -> [A] -> [A] instead.
{{ message }}
In §2.3.3 List, it is written that '(:) has kind A -> [A], but it should be A -> [A] -> [A] instead.