1 repository on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
An experimental programming language with permissions, state transitions and evidence built into its semantics; includes a self-hosted native-core compiler, bytecode VM and Web/Android backends.