Open goldfirere opened 9 years ago
:k (#,,#) says * -> * -> * -> #. But that's wrong.
:k (#,,#)
* -> * -> * -> #
:k (#,,#)
says* -> * -> * -> #
. But that's wrong.