Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 20-Jan-2021 09:21:57 JST きゅーけー

   いや、やはり GNU と Guile の発展のためにそんなことをいっている場合ではないし、Guix に ACL2 を追加するのは貢献のチャンスっぽいので頑張ろう。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 20-Jan-2021 09:24:08 JST きゅーけー

     in reply to

     https://guix.gnu.org/en/packages/acl-2.2.53/すでに acl の version 2 というほぼほぼ同じ名前っぽい別のソフトウェアがあるの草。ここに ACL2 が追加されるのカオスでは。