j
k
j a
j l
Am Montag, 21. April 2008 02:34 schrieb Daniel Fischer:
This means that force (decode c) is reduced to head normal form, not fully evaluated.
Ooops, _weak_ head normal form, of course.
Back to the thread
Back to the list