Re: [Haskell-cafe] DTP10 Call for Participation

2010-05-06 Thread Conor McBride
On 6 May 2010, at 16:04, Colin Paul Adams wrote: "Conor" == Conor McBride writes: Conor> Remember, Haskell is the world's most popular dependently Conor> typed functional programming language... Could you justify that claim please? Is that a feature request or a sceptical objection?

Re: [Haskell-cafe] DTP10 Call for Participation

2010-05-06 Thread Colin Paul Adams
> "Conor" == Conor McBride writes: Conor> Remember, Haskell is the world's most popular dependently Conor> typed functional programming language... Could you justify that claim please? -- Colin Adams Preston Lancashire () ascii ribbon campaign - against html e-mail /\ www.asciirib

[Haskell-cafe] DTP10 Call for Participation

2010-05-06 Thread Conor McBride
Remember, Haskell is the world's most popular dependently typed functional programming language... (s:S)*(p:P s)->(s:S)*(p:P s)->(s:S)*(p:P s)->(s:S)*(p:P s)->(s:S)*(p:P s)-> DTP 2010 --- Call for Participation EARLY REGISTRATION ENDS 17 MAY 2010