Skip to content

Update PAKCS to compile with the new frontend

Fredrik Wieczerkowski requested to merge fwcd/pakcs:update-frontend into master

This branch updates PAKCS to compile with newer versions of the frontend, specifically curry-frontend!32 (merged). Most notably, this includes fixing the dictionary arguments again.

Edited by Finn Teegen

Merge request reports