I wonder how fast I can prototype real let bindings for Agda

@amy This might be a stupid question, but in what way would they be more real than the current ones?

@amy Ah, thanks. I didn't realize that's how they worked right now.

I'm still pretty new to Agda.

@amy Loss of sharing is one thing that really contributes to certain things being very slow in Agda, especially when it comes to modules. Real let bindings being available at multiple levels would be amazing!

Sign in to participate in the conversation

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