liquid-fixpoint icon indicating copy to clipboard operation
liquid-fixpoint copied to clipboard

Published 20 hours ago • verified publisher icon ucsd-progsys

check whether binder is free in eliminateEta

Open yiyunliu opened this issue 5 years ago • 1 comments

yiyunliu avatar Feb 09 '20 05:02 yiyunliu

Thanks! Can you create a LH pull request that links this?

nikivazou avatar Feb 09 '20 10:02 nikivazou