aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

Update `PureTypeCheck` and fix the type-checking errors

Open sonmarcho opened this issue 7 months ago • 0 comments

We need to update PureTypeCheck so that it is more complete. Also, if we set Config.type_check_pure_code to true the type checker detects type checking errors in the tests.

sonmarcho avatar Apr 07 '25 09:04 sonmarcho