Skip to content

Fix handling of unevaluated top-level constants#670

Merged
W95Psp merged 1 commit intohacspec:mainfrom Nadrieril:fix-foreign-constantsMay 15, 2024