Comment Comment by yuppiemephisto https://alok.github.io/assets/lean-position-paper.pdfi talked about the lisp curse in this old paper. it's rough but explicitly mentions it parent yuppiemephisto 6 months ago
i talked about the lisp curse in this old paper. it's rough but explicitly mentions it