We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
e522a43
The tag name was a mistake -- it should be 0.1.2.
938ba39
[ agda ] Prepare for execution
3c953c3
[ readme ] Update badges
