[Haskell] (Succ Haskell') `and` $ dependent types

Hello, As the authors point out [1], coal-face time needs to be expended before real world adoption of Dependently-Typed functional programming. But let's get the ball rolling. They say that haskell programmers are normally averse to dependent types. Is this true? It seems to me that one of t

[Haskell] Re: (Succ Haskell') `and` $ dependent types

On Sun, Jul 15, 2007 at 09:04:16AM +1200, Vivian McPhail wrote: > Hello, > > As the authors point out [1], coal-face time needs to be expended before > real world adoption of Dependently-Typed functional programming. But let's > get the ball rolling. They say that haskell programmers are normally

Re: [Haskell] Cabal, Haddock, and the location of documentation

It requires a patch to cabal. I have such a patch. the patch provides an aditional config parameter which will allow you to configure the documentation directory but in absence of any setting will default to old behaviour. the patch is very rough JV. - Original Message - From: "Matt