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