We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
First official release of Agda2Hs
No open issues remain. View closed issues or see open milestones in this repository.