Donald Bruce Stewart wrote: > Haskell Weekly News: February 06, 2006 : > Oleg says, "The implementation of RSA on the type level is left > for future work". Methinks this gives a whole new meaning to "type security". :) #g -- Graham Klyne For email: http://www.ninebynine.org/#Contact