Re:Safe dead code removal in a pure functional language
by millstone on Thursday January 28, 2021 @10:50PM
(#25953634)
I think this was meant to have read as "provably always pure", not "probably always pure."
[ Parent
| on HN ]