An Algorithmic Reconstruction of Normalisation by Evaluation (via fanf) — discussion

#plt