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