使用FSLogic的miniKanren F＃

Question

我正在scheme使用miniKanren跟踪FsLogic的教程，但我刚刚陷入此示例

(run 1 (q)
 (== '(lambda (x) x) '(lambda (x) x)))

我正在f#写这样的内容：

run 1 (fun q ->
        (fun x -> x) *=* (fun x -> x)
       )

但它失败了（没有编译）:(

阅读我尝试使用project的测试，但它也没有用（我还不确定哪个项目还没有）.....

我在"uncourses"主页

中关注此minikanren