j
k
j a
j l
doesn't make much sense to me yet, although I suspect I can read the mu as a lambda on types?
Not really. The mu has more to do with recursion. Matthias.
Back to the thread
Back to the list
