- Notifications
You must be signed in to change notification settings - Fork1
Toward Behavioral Type checking for Rholang
License
NotificationsYou must be signed in to change notification settings
rchain-community/behavr
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
status: just getting off the ground; not yet functional
Goals:
- Learn scala by porting ocaml.
- Port type checker fromrhocaml,which supports reflection but not modal operators.
- refA reflective higher-order calculus L.G. Meredith Matthias Radestock
- Port type checker fromSLMC,which supports modal operators but not reflection.
by: Dan Connolly and friends