package.json

{"name":"agda-protocols","version":"0.0.3","description":"Shallow embedding of Protocols using Agda dependent types","main":"protocols.agda","scripts":{"test":"echo \"Error: no test specified\" && exit 1"},"files":["README.md","Control/Protocol/Additive.agda","Control/Protocol/Alternate.agda","Control/Protocol/CLL.agda","Control/Protocol/ClientServer.agda","Control/Protocol/Core.agda","Control/Protocol/End.agda","Control/Protocol/Examples.agda","Control/Protocol/Extend.agda","Control/Protocol/GameSemantics.agda","Control/Protocol/IP.agda","Control/Protocol/InOut.agda","Control/Protocol/Lift.agda","Control/Protocol/MultiParty.agda","Control/Protocol/Multiplicative.agda","Control/Protocol/Parametricity.agda","Control/Protocol/README.agda","Control/Protocol/Relation.agda","Control/Protocol/Sequence.agda","Control/Protocol.agda","PTT/Conversion.agda","PTT/Cut.agda","PTT/Dom.agda","PTT/Env.agda","PTT/Map.agda","PTT/Proto.agda","PTT/Session.agda","PTT/Split.agda","PTT/Term.agda","PTT/Translation.agda","PTT/Vars.agda","PTT-sub/Conversion.agda","PTT-sub/Cut.agda","PTT-sub/Dom.agda","PTT-sub/Env.agda","PTT-sub/Map.agda","PTT-sub/Proto.agda","PTT-sub/Session.agda","PTT-sub/Split.agda","PTT-sub/Term.agda","PTT-sub/Translation.agda","PTT-sub/Vars.agda","SendRecv/Channel.agda","SendRecv/Server.agda","SendRecv/Session.agda","SendRecv/Terms.agda","SendRecv/Types.agda","SendRecv/Typing.agda","experiments/Control/Protocol/IND.agda","experiments/Control/Protocol/Multiplicative/Extra.agda","experiments/Control/Protocol/Old.agda","old/Choreography.agda","old/CoreBind.agda","old/experiments/Channels/CutElimination.agda","old/experiments/Channels/Proto.agda","old/experiments/Channels/Term.agda","old/experiments/DeepParTensor/Terms-merge.agda","old/experiments/DeepParTensor/Terms.agda","old/experiments/DeepParTensor/TermsAssoc.agda","old/experiments/Frm.agda","old/experiments/ParTenTerms.agda","old/experiments/Terms/Examples.agda","old/experiments/Terms/Multiplicative.agda","old/experiments/Terms/Syntax.agda","old/experiments/Types/Examples.agda","old/experiments/coinduction/Proto.agda","old/experiments/coinduction/Term.agda","old/experiments/coinduction/simple.agda","protocols.agda"],"repository":{"type":"git","url":"https://github.com/crypto-agda/protocols"},"keywords":["agda","library"],"author":"Nicolas Pouillard","license":"BSD3","bugs":{"url":"https://github.com/crypto-agda/protocols/issues"},"homepage":"https://github.com/crypto-agda/protocols","dependencies":{"agda-nplib":">= 0.0.1"},"agda":{"include":["."]}}