Search
agda-check
A command-line tool to check Agda files and goals
1.0.0
1.0.1
1.1.0
1.1.1
main:
https:/unpkg.com/agda-check@1.1.1/agda-check.js
Copy URL
Browse on unpkg
