Status at the end of the master's thesis of Leif-Erik Krüger (26.10.2021)
For the best compatibility, use this version of the Curry frontend together with PAKCS 3.4.1-b6, released on 22.10.2021 (or newer).
It is recommended to (re-)compile PAKCS after switching the frontend, as the precompiled code for
Prelude, which is directly included in the
pakcs binary, contains outdated code otherwise.