README.md

Choreo: choreographies with strong choice and loops

This project presents an animator of Choreo with prototype analysis tools. A snapshot of a visualiser can be found online:

• http://arcalab.github.io/choreo/

How to compile local javascript

• Pull the git submodules:

git submodule update --init

• Compile with sbt:

sbt fastLinkJS