Complete POPLMark Challenges
Opened this issue · 2 comments
wilbowma commented
Based on reviewer feedback, Cur is still not convincingly realistic. I propose we complete the POPLMark challenges in Cur as a way to exercise the system, fix all issues we find along the way, and add abstractions /the Cur way/ to get to the right solutions (i.e., extend either of the two dimensions of Cur).
This is currently semi-blocked on the Turnstile core (branch, "turstile-core") to enable an extensible core logic,
wilbowma commented
Work is begun in the "poplmark" branch. This currently requires a new branch of turnstile (https://github.com/wilbowma/macrotypes/tree/cur)