Comment Comment by ianai Sounds like it’s mostly lisp. How mathematically correct and proven (in the math sense) is lisp? parent ianai 3 years ago
