lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard

Published 20 hours ago • verified publisher icon Deducteam

In error messages, qualify an identifier only if the module is not open

Open fblanqui opened this issue 4 months ago • 0 comments

fblanqui avatar Oct 04 '24 06:10 fblanqui