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