2

その後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はコマンドを解析できません

4

1 に答える 1

1

コメントが言うように、これはあまり意味がありません。私の知る限り、DjinnはHaskellソースファイルを処理しません。また、Djinnはクイックチェックを使用していないようです。

于 2013-02-07T15:17:51.237 に答える