We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
0491391
The first release! This version is compatible with idris2 v0.4.0. I don't plan to backport any future imporvements here but at least it compiles.
