8 Feb
2018
8 Feb
'18
6:21 p.m.
Hi, Am Donnerstag, den 01.02.2018, 23:01 -0500 schrieb Joachim Breitner:
A viable approach might be a containers-verified package that depends on a precise version of containers and re-exports the verified subset of containers. It might lag a few versions behind, but for something stable like containers, that might still be useful for people who want bragging rights about using verified code.
here is how this could look like: https://hackage.haskell.org/package/containers-verified-0.5.11.0/candidate https://github.com/nomeata/containers-verified I hope that we can extend the covered API somemore in the next weeks :-) Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/