As far as I can remember, those were almost deprecated even way back when. It's ...

mhd on Jan 1, 2017 | parent | context | favorite | on: CakeML – A Verified Implementation of ML

As far as I can remember, those were almost deprecated even way back when. It's never been much used for GUIs anyway, and I believe most servers and compilers were mostly written in a functional fashion.

agumonkey on Jan 1, 2017 [–]

Mystery stays intact.