Search
agda-web-docs-lib
Library for enhancing Agda-generated HTML documentation
0.2.4
0.2.5
0.3.0
0.3.1
0.4.0
0.4.1
0.4.2
0.5.1
0.5.2
0.5.3
0.6.0
0.7.0
0.7.1
1.0.0
1.0.1
1.0.2
main:
https:/unpkg.com/agda-web-docs-lib@1.0.2/dist/index.js
Copy URL
Browse on unpkg
