agda

1.0.0 • Public • Published
This package does not have a README. Add a README to your package so that users know how to get started.

Readme

Keywords

none

Package Sidebar

Install

npm i agda

Weekly Downloads

0

Version

1.0.0

License

MIT

Unpacked Size

588 B

Total Files

6

Last publish

Collaborators

  • wolfezito