Projection of Session Types in Ola (and we have a REPL)

main.ola

role Alice
role Bob

type foo = String

protocol pingpong = Alice ==> Bob   { ping(String)
                  . Bob   ==> Alice { pong(String)
                  . end }}

main()
{
  print("My First Program");

  return unit;
}

repl.txt

$ rlwrap ./build/exec/ola --repl
Ola> :l tests/examples/006-sessions/main.ola
# Finished Parsing
# Finished Type Checking
Ola> :project pingpong Bob
(Branch (RoleVar 1) ping(STR) => (Select (RoleVar 1) pong(STR) => End))
Ola> :project pingpong Alice
(Select (RoleVar 0) ping(STR) => (Branch (RoleVar 0) pong(STR) => End))
Ola> :q
Quitting