2019-12-27から1日間の記事一覧

Reasoned Schemer (71) ==をさらに

reasonedschemer

すこしだけ複雑なやつ > (run* q (fresh (x) (== `(((,q)) ,x) `(((,x)) pod)))) '(pod) とはいっても==を評価したstreamの要素がふたつになったくらい