j
k
j a
j l
On 8 September 2010 13:08, Brent Yorgey wrote:
No, each bird has its own type; each bird represents some particular combinator (= polymorphic function).
Also, bear in mind that some of the birds cannot be typed in Haskell.
Back to the thread
Back to the list