[ANNOUNCE] rsa-haskell 2.0.0

2003-06-07 Thread David Sankel
=== rsa-haskell 2.0.0 === RSA implementation in Haskell (rsa-haskell) contains the Simple and Strong Cryptography program set and Haskell libraries of several cryptographic standards. The libraries include haskell implementations of SHA1, EME-OAEP, EMSA-PS

for all quantifier

2003-06-07 Thread Peter G. Hancock
On the hskell list, spj wrote > I forget whether I've aired this on the list, but I'm seriously > thinking = that we should change 'forall' to 'exists' in existential > data constructors Thanks! It made me wonder what colour the sky is on planet Haskell. >From a Curry-Howard point of view, (I t

Re: Multiparameter class confusion

2003-06-07 Thread Dylan Thurston
On Wed, Jun 04, 2003 at 01:21:00PM +0100, Graham Klyne wrote: > There is a recurring difficulty I'm having using multiparameter classes. > > Most recently, I have a class Rule: > [[ > class (Expression ex, Eq (rl ex)) => Rule rl ex where > ... > ]] > > Which I wish to instantiate for a type Gra