An OTP application that serves as sample project to demonstrate the use of a session type checker for Erlang.
$ rebar3 compile
$ rebar3 shell
-
Notifications
You must be signed in to change notification settings - Fork 0
Sample project to demonstrate the use of a session type checker for Erlang
License
lauramcastro/three_buyers
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Sample project to demonstrate the use of a session type checker for Erlang
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published