issues
search
lmntal
/
slim
slim LMNtal implementation
Other
18
stars
5
forks
source link
fix #321 (makeshift)
#331
Closed
nikosai
closed
7 months ago
nikosai
commented
7 months ago
321 に対する一時的な対応策。
当該Issueで書いた通り、ステップ数まで考えると意味論と整合しないが、どちらにしても正しくないので一旦回避策を実装した。
321 に対する一時的な対応策。
当該Issueで書いた通り、ステップ数まで考えると意味論と整合しないが、どちらにしても正しくないので一旦回避策を実装した。