kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2020-02-17から1日間の記事一覧

Reasoned Schemer (100) わり算 続き3

/o自体は問題ない (defrel (/o n m q r) (conde ((== '() q) (== r n) (