If anyone has any cool work to share on GHC (or related type-aware tools, like Haddock or HLS), please consider submitting an abstract for WITS, to take place adjacent to POPL in London, on Saturday January 20. Or just plan on joining us on the day – no need to also attend POPL!
Full details are at WITS 2024 - POPL 2024
The deadline for submissions is tomorrow (anywhere on earth), but submissions are under a page, and so needn’t take much time to prepare.