meta-cedille icon indicating copy to clipboard operation
meta-cedille copied to clipboard
verified publisher icon WhatisRT

WIP: Fix a bug where NBE eta-reduced incorrectly

Open WhatisRT opened this issue 3 years ago • 0 comments

TODO: this leads to infinite looping somewhere. This fix is a bit hacky anyway, so maybe there's a better way.

WhatisRT avatar Dec 21 '22 13:12 WhatisRT