agda-stdlib-0.9 (npm): The Agda Standard Library
Keywords: agda|standard|library|proof