26 Feb
2008
26 Feb
'08
5:27 a.m.
Has anyone already ported to Haskell the ML code in Rydeheard and Burstall, "Computational Category Theory"? Dan