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

Fredrik Wieczerkowski requested to merge fwcd/pakcs:typedecl-kinds into master Oct 17, 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 Fredrik Wieczerkowski

OLD: Update PAKCS to compile with the new frontend

Merge request reports