agda-nplib

Extension of agda-stdlib


Keywords
agda, library
License
BSD-3-Clause
Install
npm install agda-nplib@0.0.1

Documentation