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