agda-stdlib-0.9

Release 0.9.2

The Agda Standard Library

Homepage Repository npm Agda Download

Keywords
agda, standard, library, proof
License
MIT
Install
npm install agda-stdlib-0.9@0.9.2

Documentation

Stats

Dependencies
0
Dependent packages
0
Dependent repositories
0
Total releases
3
Latest release
First release
Stars
481
Forks
211
Watchers
31
Contributors
31
Repository size
324 MB
SourceRank
11

Development practices

Source repo 2FA enabled
TEXT!
Package manager 2FA enabled
TEXT!
Is security responsive
TEXT!
Dependencies are managed
TEXT!
Issue-free release available
TEXT!
Succession plan available
TEXT!
Package manager 2FA enabled
TEXT!

The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.

Learn more →

Releases

0.9.3
0.9.2
0.9.1

Contributors

Nils Anders Danielsson Andrés Sicard-Ramírez Ulf Norell Andreas Abel Nicolas Pouillard Stevan A scmu MatthewDaggitt Philipp Hausmann Dominique Devriese Joachim Breitner Wen Kokke noamz G. Allais James Chapman Sandro Stucki Gergő Érdi Danny Navarro Samuel Bronson Eric Mertens Noriyuki OHKAWA dolio Peter Berry Paolo G. Giarrusso


See all contributors

Something wrong with this page? Make a suggestion

Export .ABOUT file for this package

Last synced: 2022-06-13 04:51:45 UTC

Login to resync this project