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 wow thanks I both love and hate it
@totbwf don't worry I won't do it
@amy it’s too late; the splash damage was already inflicted
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.