pakcs merge requestshttps://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests2020-10-21T14:53:37Zhttps://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/4OLD: Update PAKCS to compile with the new frontend2020-10-21T14:53:37ZFredrik WieczerkowskiOLD: Update PAKCS to compile with the new frontendThis branch updates PAKCS to compile with newer versions of the frontend, specifically curry-frontend!32. Most notably, this includes fixing the dictionary arguments again.This branch updates PAKCS to compile with newer versions of the frontend, specifically curry-frontend!32. Most notably, this includes fixing the dictionary arguments again.