A simple, lightweight, flexible parser for Session Types in Elixir.
Converts textual session type descriptions into typed Elixir
data structures for protocol verification and implementation.
A simple, lightweight, flexible parser for Session Types in Elixir. Converts textual session type descriptions into typed Elixir data structures for protocol verification and implementation.
