Agda developer me and Agda user me are sometimes at odds in funny ways

Agda developer me: Not using the provided built-in modules is unsupported

Agda user me: [doesn't use those, code breaks literally every other commit]

Why do I do this to myself?

Sign in to participate in the conversation

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