Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 27-Jan-2021 23:14:41 JST きゅーけー

ACL2 を動かす環境の選択肢が Emacs か Eclipse かの二択なのやばい気がする。こういうことが結構あるので、エディタの選択で迷っている人には Emacs をおすすめしたくなる。https://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/ACL2____EMACS

In conversation Wednesday, 27-Jan-2021 23:14:41 JST from mastodon.tojo.tokyo permalink
- きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 27-Jan-2021 23:18:09 JST きゅーけー
  in reply to
  
  Agda も Emacs から使うことが前提になってるっぽい。https://agda.readthedocs.io/en/latest/getting-started/installation.html#installation-from-hackage
  
  In conversation Wednesday, 27-Jan-2021 23:18:09 JST permalink
- きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 27-Jan-2021 23:25:09 JST きゅーけー
  in reply to
  
  Dracula っていう DrRacket から ACL2 を動かせるやつがあった。これでもよさそう。http://dracula-lang.github.io/
  
  In conversation Wednesday, 27-Jan-2021 23:25:09 JST permalink

Feeds