name: agda-protocols
description: Shallow embedding of Protocols using Agda dependent types
license_spdx: BSD-3-Clause
version: 0.0.3
spec_version: 1.0
download_url: https://registry.npmjs.org/agda-protocols/-/agda-protocols-0.0.3.tgz
home_url: https://github.com/crypto-agda/protocols
news_url: https://libraries.io/npm/agda-protocols/versions.atom
date: 2015-07-08
about_resource: NONE
libraries_io_url: https://libraries.io/npm/agda-protocols?number=0.0.3
vcs_tool: git
vcs_repository: https://github.com/crypto-agda/protocols
vcs_branch: master
