https://github.com/epoberezkin/protocol

Model distributed system as type-level multi-party protocol.
https://github.com/epoberezkin/protocol

Last synced: about 2 months ago
JSON representation

Model distributed system as type-level multi-party protocol.

• Host: GitHub
• URL: https://github.com/epoberezkin/protocol
• Owner: epoberezkin
• License: bsd-3-clause
• Created: 2020-07-12T18:26:32.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2020-07-16T13:46:32.000Z (almost 5 years ago)
• Last Synced: 2024-10-18T10:27:57.766Z (6 months ago)
• Language: Haskell
• Homepage: https://hackage.haskell.org/package/protocol
• Size: 10.7 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# protocol

Model distributed system as type-level multi-party protocol.

See [docs on hackage](http://hackage.haskell.org/package/protocol/docs/Control-Protocol.html).