haskell - 如何在 Djinn/UU/Examples/Equality.hs 中加载示例？

Question

之后cabal install Djinn使用 QuickCheck，可执行文件位于./.cabal/bin/djinn.

然后我将可执行文件复制到目录Downloads/Djinn/UU/Examples/

Equality.hs然后想运行示例djinn Equality.hs，无法解析命令

然后./djinn然后:load full path/UU/Examples/Equality.hs

return 无法解析命令

Answer 1

正如评论所说，这没有多大意义。据我所知，Djinn 不适用于 Haskell 源文件。Djinn 似乎也没有使用快速检查。