Closed mattam82 closed 9 months ago
This finally updates the typed extraction correctness proof, allowing it to use efficent environment representations.
This finally updates the typed extraction correctness proof, allowing it to use efficent environment representations.