j
k
j a
j l
But I just realized that it will probably be necessary to declare (not bind!) implicit parameters at the top level to avoid capture problems.
Yep, this is the way it would have to go. --KW 8-)
Back to the thread
Back to the list
