We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
db58c42
Now that Agda 2.6.2 has officially been release, we can have a stable release for Schmitty!