
23 Jan
2007
23 Jan
'07
9:47 a.m.
On Tue, Jan 23, 2007 at 11:59:58 +0200, Yitzchak Gale wrote:
Hi Dan,
You have written a great explanation of how ListT works by writing out its definitions in an interesting way!
I assume you aren't talking about the standard ListT, the one that forces unnecessary strictness, right? But rather how ListT ought to be implemented. /M -- Magnus Therning (OpenPGP: 0xAB4DFBA4) magnus@therning.org Jabber: magnus.therning@gmail.com http://therning.org/magnus