
23 Sep
2007
23 Sep
'07
8:30 a.m.
This doesn't really work nicely, but at least it compiles, and
gives a hint of how I think this might work. Note the Stupid
data type that is currently needed (but not yet exported) to
avoid undecideable instances.
David
Sun Sep 23 07:49:29 EDT 2007 David Roundy