17 Feb
2015
17 Feb
'15
1:25 p.m.
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 On 17/02/15 19:24, Edward Kmett wrote:
The existing IsList machinery gets you the [], [x], and [x,y] cases, but not (x:xs). Interesting... Noted! Thanks.
- -- Alexander alexander@plaimi.net https://secure.plaimi.net/~alexander -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iF4EAREIAAYFAlTjh5AACgkQRtClrXBQc7Wm5QEAilZPCg3kM/W2YDegRudw5WVp b1U9k3g5u68bLQfRvvwBAKPQUeekUi8MGN0ntgM4yvzU6aH5tOHr+xM/IT7YVsct =xRem -----END PGP SIGNATURE-----