Rholang

All content
Space settings

Rholang
Rholang
Restricted link, try another account
This trigger is hidden

Results will update as you type.

•
(archive) Rholang Web 0.1
•
2017-10-06 Rholang Specification Meeting notes
Cost Accounting Issues
•
Decision log
•
Design doc: Updating genesis block assembly to avoid forgeable names
•
Differences between Rholang Spec 0.1 and the compiler
•
Draft of Rholang Wallet code
•
File lists
•
Lazy Validator Hedge Meeting notes
Meeting notes
Name registry specification
•
Open Questions
•
Phlogiston / Execution Costs Meeting notes
•
Powerbox and Foreign Function Interface
•
Pre and Post conditions in Rholang as transaction and payment boundaries
•
Product requirements
Retrospectives
•
Rholang requirements for Mercury
Rholang SDK 0.1
•
Rholang Short-leash deployment API
•
Rholang to RBL Source to Source Compiler Documentation
•
Stable Marriage algorithm for matching lists of patterns
•
Term Normalization and Structural Equivalence.
•
Termination Model
•
Total functional sublanguage typesystem
•
Syntactic sugaring proposals for Rholang
•
Error Handling for Rholang
•
Deprecated Rholang cheat sheet

/

Rholang to RBL Source to Source Compiler Documentation

Rholang to RBL Source to Source Compiler Documentation

Owned by Former user (Deleted)

Last updated: Jan 20, 2018 by Kyle Butt

1 min read

Loading data...

{"serverDuration": 14, "requestCorrelationId": "9cc6075935df41f086b71c6c45302eb0"}