You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The tactics plugin fails to fill the hole. One potential solution would be
cI = cS `capp` cK `capp` cK
This has been tested as of commit 6c14163. I tested to see if this would be the case in the tagless-final HOAS encoding of lambda calculus as well, but it succeeded, i.e.