name: agda-nplib
description: Extension of agda-stdlib
license_spdx: BSD-3-Clause
version: 0.0.1
spec_version: 1.0
download_url: https://registry.npmjs.org/agda-nplib/-/agda-nplib-0.0.1.tgz
home_url: https://github.com/crypto-agda/agda-nplib
news_url: https://libraries.io/npm/agda-nplib/versions.atom
date: 2015-07-07
about_resource: NONE
libraries_io_url: https://libraries.io/npm/agda-nplib?number=0.0.1
vcs_tool: git
vcs_repository: https://github.com/crypto-agda/agda-nplib
vcs_branch: master
