>>1504569
ACL2をメリットと考えるかデメリットと考えるかで変わってくるね。個人的にはACL2なら出ない方がマシだと思う。