❤
npm
Sign UpSign In

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.

Dependencies (0)

    Dev Dependencies (0)

      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
      Try on RunKit
      Report malware