agda-stdlib-0.9
The Agda Standard Library
Latest release 0.9.3 - Updated - 200 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search