liquidhaskell icon indicating copy to clipboard operation
liquidhaskell copied to clipboard
verified publisher icon ucsd-progsys

Clear out some cruft from `withWiredIn`

Open gergoerdi opened this issue 1 year ago • 1 comments

gergoerdi avatar Oct 18 '24 03:10 gergoerdi

Hello @gergoerdi, should I close this PR, or would you like to get CI passing?

facundominguez avatar May 27 '25 15:05 facundominguez