18 Dec
2007
18 Dec
'07
11:11 a.m.
On Dec 18, 2007 4:50 PM, Benja Fallenstein
Further, even with extensionality, we can (with compiler support) in principle have Show instances other than enumerating the graph.
Now that I said it, I'm starting to doubt we even need compiler support beyond what we have already. :-) I'm starting to think that a smattering of unsafePerformIO might be able to do the trick. I shall have to think on this :-) - Benja