私はカレーを扱っていて、pakcs 2.2.1 を使用しています。2^2 と書くと
このエラーが発生します
2^2
PAKCS_Main_Exp.curry, line 2.18: Error:
`^' is undefined
ERROR occurred during parsing!
最新バージョンの pakcs (3.3.0) を使用している場合、この問題は発生しませんが、残念ながら 2.2.1 バージョンでしか動作しません。
モジュールをロードする必要があるかどうか、またはこの操作を行う方法を知っていますか?
(非常に大きな数を扱う必要があるため、2*2 はオプションではありません)
前もって感謝します