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.