agda-nplib (npm): Extension of agda-stdlib
Keywords: agda|library