f# - miniKanren F# with FSLogic

Question

好吧，我正在关注miniKanrenin schemeusing的教程FsLogic，但我只是陷入了这个例子

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

我是f#这样写的：

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

但它失败了（不编译）:(

阅读我尝试使用的测试，project但它也不起作用（我还不确定项目是做什么的）.....

我正在从主页关注这个“uncourses”minikanren