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
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
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