Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 03-Feb-2021 10:43:59 JST きゅーけー

   ACL2 で SICP を二章までやってみようかな。不動小数点使っちゃうやつは飛ばす方針で。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 03-Feb-2021 10:45:54 JST きゅーけー

     in reply to

     lambda がでてくると結構辛くなるなぁ……。マクロ使って適当に書き直せばいいか……。