Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 4 years ago
きゅーけー tojoqk@mastodon.tojo.tokyo
ACL2 を動かす環境の選択肢が Emacs か Eclipse かの二択なのやばい気がする。こういうことが結構あるので、エディタの選択で迷っている人には Emacs をおすすめしたくなる。
https://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/ACL2____EMACS