3 ms·Ghosts of departed proofs. (functional pearl) (2018)2 points by fanf2 2y agodeleted 2y ago[deleted]