2018-05-05から1日間の記事一覧
テストが書けるようになりましたのでj-bob.jbbにテストを移植しつつ調査していきました へんな値が返されるのを発見 implication/1exp actual :(if (equal x 'a) (equal (quote-c 't) 'b) 't) expected:(if (equal x 'a) (equal y 'b) 't) このテストで発生
テストが書けるようになりましたのでj-bob.jbbにテストを移植しつつ調査していきました へんな値が返されるのを発見 implication/1exp actual :(if (equal x 'a) (equal (quote-c 't) 'b) 't) expected:(if (equal x 'a) (equal y 'b) 't) このテストで発生