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

Reasoned Schemer (70) fuseとか

reasonedschemer

> (run* q (fresh (x) (== x q))) '(_0) xとqがfuseしているというのは`(,x . ,q)というassociationがあるということでもxもqもfreshなので_0