Andrew Lelechenko - Haskell for mathematical libraries - Lambda Days 2020

[@BenHutchison]

On Ed Kmett's Algebra library "and of course its unusable "
I thought this was a discarded opportunity to say something quite interesting. Carefully designed, mathematically faithful. Yet unusable. Why?
I think if you're going to dismiss an attempt right at the heart of your chosen domain, you ought to show your working and expand this statement.
th-cam.com/video/qaPdg0mZavM/w-d-xo.html

[@messapatingy]

I never knew, as a child, if a filter keeps or discards. i.e. Filter-out, or filter-in.

[@Liamshin_Ilia]

Thanks

[@cynocephalusw]

A hidden gem