This package does not have a README. Add a README to your package so that users know how to get started.
agda
1.0.0 • Public • PublishedDependents (0)
Package Sidebar
Install
npm i agda
Weekly Downloads
0
Version
1.0.0
License
MIT
Unpacked Size
588 B
Total Files
6