Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 30-Mar-2021 23:09:14 JST きゅーけー

   Guile の Tree-IL についてだいたい理解した(と思う)。私は、ACL2 のコードを Tree-IL に変換するという仕事をすればよいっぽい。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 30-Mar-2021 23:30:32 JST きゅーけー

     in reply to

     ACL2 のパーサー、とりあえず Guile の read でいいかな……。