欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Python Mode
来自开放百科 - 灰狐
There are two implementations of a Python mode for Emacs.
python-mode.el
#apt-get install python-mode // Emacs-lisp python-mode and doctest-mode for the Python language
http://python-mode.sourceforge.net/
python.el
分享您的观点
