Documentation Notes
Intro to Rholang docs for new users
clearly define feature list for examples
Total Functional Sublanguage Specs
Adding deprecation notes to READMEs where appropriate
Project and module overview
Mercury types (Namespace logic); how these will work with LADL types
Implementation architecture diagram
Roscala annotation for Rosette artifacts that should go away at some point
Create Rchain.github.io → regular postings
README.md per project subdirectory
Literate programming?
State how to install and run the project even if it is just one line (e.g. sbt run)
Link to docs
Every code file should have a preamble which tells you what you need to know in order to understand the file
Property based testing?
Storage docs
Network protocol docs
Scaladoc
sbt-doctest
Problem documentation
Namespace ↔ Cross namespace transactions
ADT vs. RCON
λTotal (Either sugar/Recognizer)
Crypto stuff
Rosette has notion of arrival of messages, so potential for having a continuation or message doesn't read first, i.e. store both continuations & data and poke them when new stuff comes in
When compiling, how to handle public names vs. private (from you)? Namespace for private names that always get modified @P→ @(P|Q)
@Kelly Foster - Here is a great list.