Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 07-Oct-2021 18:17:32 JST きゅーけー

   マクロがあれば Lambda 式なくても耐えられる(暴論)。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 07-Oct-2021 18:17:55 JST きゅーけー

     in reply to

     いや、ACL2 にも Lambda 式はある……。ただ第一級の値でないというだけで……。