curry-language-server icon indicating copy to clipboard operation
curry-language-server copied to clipboard
verified publisher icon fwcd

Migrate to `OverloadedRecordDot`

Open fwcd opened this issue 2 years ago • 0 comments

This extension has been merged in GHC 9.2 and would allow us to drop the field prefixes.

fwcd avatar Jul 26 '23 16:07 fwcd