epoberezkin · GitHub

Branches Tags

Latest commit

History

6 Commits

Folders and files

Name		Name	Last commit message	Last commit date
src/Control		src/Control
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml

Repository files navigation

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

See docs on hackage.

About

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

hackage.haskell.org/package/protocol

Resources

Readme

BSD-3-Clause license

Activity

Stars

1 star

Watchers

0 watching

Forks

0 forks

Report repository

Releases

Contributors

Languages

Read the original on github.com ↗