Update PAKCS to compile with the new frontend (!5) · Merge requests · curry / pakcs

Fredrik Wieczerkowski requested to merge fwcd/pakcs:update-frontend into master Oct 20, 2020

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 Oct 21, 2020 by Finn Teegen

Update PAKCS to compile with the new frontend

Merge request reports