agda-protocols (npm): Shallow embedding of Protocols using Agda dependent types
Keywords: agda|library