Commit graph

2 commits

Author SHA1 Message Date
Edsko de Vries
929dcd01c8 Introduce dropAnnotation
This relies on some fairly intricate `generics-sop` code, which we might be
able to upstream. See https://github.com/well-typed/generics-sop/issues/163 .
2023-03-23 14:35:50 +01:00
Edsko de Vries
6c48f2357f Initial push 2023-03-17 16:20:03 +01:00