Re: [Haskell-cafe] A Meetup Group for MN Haskellers

2013-01-12 Thread Danny Gratzer
Haha sorry for the false hope, I'll update in a few weeks once things get rolling. On Sat, Jan 12, 2013 at 2:54 PM, Alfredo Di Napoli < alfredo.dinap...@gmail.com> wrote: > You made me upset, I thought you created a Meetup for our mancunian :( sob > :( > > Alfredo > > ps. Good luck for your meet

Re: [Haskell-cafe] A Meetup Group for MN Haskellers

2013-01-12 Thread Alfredo Di Napoli
You made me upset, I thought you created a Meetup for our mancunian :( sob :( Alfredo ps. Good luck for your meetup, though :) On 12 January 2013 16:40, Kim-Ee Yeoh wrote: > Hey Danny, > > Good job taking the lead! Wish you all success because I think meetups > have so many underrated benefits

[Haskell-cafe] Generating random arguments for a function

2013-01-12 Thread satvik chauhan
I am trying to use quickcheck to generate random arguments of a given function (assuming all its types have Arbitrary instance and Show instance) along with the evaluation of the function at those arguments. Suppose I have a function add :: Int -> Int -> Int add a b = a+b Then I assume a

Re: [Haskell-cafe] A Meetup Group for MN Haskellers

2013-01-12 Thread Kim-Ee Yeoh
Hey Danny, Good job taking the lead! Wish you all success because I think meetups have so many underrated benefits. (Where I am in a city > 10 million, i.e. Jakarta, Indonesia, you'd think it would be a piece of cake, but so far no dice. Me and another guy are working on this ) Have you cons

[Haskell-cafe] A Meetup Group for MN Haskellers

2013-01-12 Thread Danny Gratzer
Hello, After seeing the post about Manchurian Haskellers I decided to start one for people in and around the Twin Cities. Here's the meetup page: http://www.meetup.com/HaskellMN/ If any Haskell guru's are lurking around here we'd love to have you give a talk! -- Danny Gratzer _

Re: [Haskell-cafe] ANN: crypto-pubkey: all your public key crypto algorithms belong to us.

2013-01-12 Thread Ertugrul Söylemez
Vincent Hanquez wrote: > I've recently released crypto-pubkey [1][2], which provide a > comprehensive solution for public key cryptography. > > Most known RSA modes (PKCS15, OAEP, PSS) are supported, and there's > also DSA and ElGamal signature support. Most of the code originally > lived in cryp

Re: [Haskell-cafe] Seeking feedback for a tutorial paper draft about GADTs

2013-01-12 Thread Anton Dergunov
I would like to thank Owen Stephens, Alexander Batischev, Denis Kasak and Mann mit Hut for the valuable comments! I am going to update the tutorial to fix the indicated issues. Also, I am going to improve description of kinds and singletons. Also, I will improve description of red-black tree ex