Toward Behavioral Type checking for Rholang

status: just getting off the ground; not yet functional

Goals:

• Learn scala by porting ocaml.
• Port type checker from rhocaml, which supports reflection but not modal operators.
  • ref A reflective higher-order calculus L.G. Meredith Matthias Radestock
• Port type checker from SLMC, which supports modal operators but not reflection.

by: Dan Connolly and friends