Learn about our RFC process, Open RFC meetings & more.Join in the discussion! »

agda-stdlib-0.9

0.9.3 • Public • Published

Install

npm i agda-stdlib-0.9

DownloadsWeekly Downloads

2

Version

0.9.3

License

MIT

Last publish

Collaborators

  • avatar