Hello David,
Saturday, October 15, 2005, 9:38:58 PM, you wrote:
DR darcs get http://abridgegame.org/darcs-patch-theory
Invalid repository: http://abridgegame.org/darcs-patch-theory
darcs failed: Failed to download URL
http://abridgegame.org/darcs-patch-theory/_darcs/inventory
libcurl: HTTP
On 10/16/05, Bulat Ziganshin [EMAIL PROTECTED] wrote:
DR darcs get http://abridgegame.org/darcs-patch-theory
Invalid repository: http://abridgegame.org/darcs-patch-theory
[...]
The link didn't work for me either, but this is what you're looking for:
On Sun, Oct 16, 2005 at 12:48:28PM +0400, Bulat Ziganshin wrote:
btw, from where yourself studied what is GADT and how it can be used?
I read Simons' paper on GADTs and didn't understand from that how it could
be used for anything other than ASTs and interpereters. Most of what I
know about
Hello Haskell,
1) where can i find articles from Estonia conference?
2) they all say that GADT is great, but i personally don't feel
GADTs. can anyone write a paper about it for beginners like me,
or may be just collect examples of using GADT in real programs?
--
Best regards,
Bulat
1) where can i find articles from Estonia conference?
There were several conferences in Estonia including TFP, ICFP and
Haskell Workshop. Go to http://www.cs.ioc.ee/tfp-icfp-gpce05/, look at
the program, type in the title of the talk and most of the time google
will give you a copy of the
Hi Bulat,
2) they all say that GADT is great, but i personally don't feel
GADTs. can anyone write a paper about it for beginners like me,
or may be just collect examples of using GADT in real programs?
I wrote a book chapter on GADTs a while ago, called Fun with
phantom types, see
On Sat, Oct 15, 2005 at 10:46:11AM +0400, Bulat Ziganshin wrote:
2) they all say that GADT is great, but i personally don't feel
GADTs. can anyone write a paper about it for beginners like me,
or may be just collect examples of using GADT in real programs?
If you want a somewhat
Hello Ralf,
Saturday, October 15, 2005, 9:00:53 PM, you wrote:
RH I wrote a book chapter on GADTs a while ago, called Fun with
RH phantom types, see
RH http://www.informatik.uni-bonn.de/~ralf/publications.html#B4
thank you! i seen several articles about phantom types, including
yours,
