やばいな、Jupyter Notebook をメインに使うようになった影響で Emacs の利用時間が大幅に減っている。このままいくと、Emacs はちょこっとプログラムを編集して git の操作をするツールになってしまう。
Conversation
Notices
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 16-Sep-2021 17:26:49 JST きゅーけー -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 16-Sep-2021 17:29:00 JST きゅーけー ACL2 の証明は Emacs の方が便利なことが多いからそれは残るか。あとは Emacs 上で bash の操作をするのも残るはず。
-