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