Wrote down some typing rules in PLT Redex, but judgment-holds runs out of memory for the identity function. How do I debug this?
Wrote down some typing rules in PLT Redex, but judgment-holds runs out of memory for the identity function. How do I debug this?