2018-07-02から1日間の記事一覧

Reasoned Schemer (26) わり算続き

reasonedschemer

三つ目のconde行は十分一般的に見えますが、なぜはじめの二つのconde行が必要なんですか？これでいいんじゃないの、って話 (defrel (/o n m q r) (fresh (mq) (