search

BeFunctional / haskell-foreign-rust

MIT License
9 stars 3 forks source link

Introduce `dropAnnotation` #5

Closed edsko closed 1 year ago

edsko commented 1 year ago

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 .