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