j
k
j a
j l
Duncan Coutts writes:
This could in principle be fixed with an arity raising transformation,
Do you have a reference to arity raising transformations? Thanks, Dominic.
Back to the thread
Back to the list
