@hackage web-push0.3

Send messages using Web Push protocol.

Web Push is a simple protocol for delivery of real-time events to user agents using HTTP/2 server push. This can be used to send notifications to browsers using the Push API.