CC comments

Results 5 comments of

CC

`copilot-theorem`: Code contains unused pragmas

[cpt_613.txt](https://github.com/user-attachments/files/20505625/cpt_613.txt) Update: generated text file with 'hlint' and currently I'm working through the document looking for unused pragmas.

`copilot-theorem`: Code contains unused pragmas

**Current listing of unused pragmas in Copilot-Theorem:** copilot-theorem/src/Copilot/Theorem/What4.hs:4:1-43: Warning: Unused LANGUAGE pragma Found: {-# LANGUAGE GeneralizedNewtypeDeriving #-} Perhaps you should remove it. copilot-theorem/src/Copilot/Theorem/What4.hs:7:1-43: Warning: Unused LANGUAGE pragma Found: {-# LANGUAGE...