Discording this cursed, bad idea by making y'all consider it too: Cleaning up Agda goals in the presence of let bindings by locally adding display forms

@amy it’s too late; the splash damage was already inflicted

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.