Overloadable list type notation

Alexander Berntsen alexander at plaimi.net
Tue Feb 17 18:25:22 UTC 2015


-----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 at plaimi.net
https://secure.plaimi.net/~alexander
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iF4EAREIAAYFAlTjh5AACgkQRtClrXBQc7Wm5QEAilZPCg3kM/W2YDegRudw5WVp
b1U9k3g5u68bLQfRvvwBAKPQUeekUi8MGN0ntgM4yvzU6aH5tOHr+xM/IT7YVsct
=xRem
-----END PGP SIGNATURE-----


More information about the Libraries mailing list