We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
5c68ed1
First release! Need this so that the gradual-typing-in-agda project has a release to point to.
