[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

Re: [Haskell-cafe] DTP10 Call for Participation

2010-05-06 Thread Colin Paul Adams
Conor == Conor McBride co...@strictlypositive.org 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

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 co...@strictlypositive.org 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