agda-nplib

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

Dependencies (1)

Dev Dependencies (0)

    Package Sidebar

    Install

    npm i agda-nplib

    Weekly Downloads

    2

    Version

    0.0.1

    License

    BSD3

    Last publish

    Collaborators

    • np