search

rchain / bounties

RChain Bounty Program
MIT License
90 stars 62 forks source link

From Pi Calc to Rholang #199

Closed patrick727 closed 6 years ago

patrick727 commented 6 years ago

M> Indicates that this is a project within the "Marketing" category (B) Indicates that this is a Blog post

Goal:

Create a 2-5 blog post educational series taking people from pi calculus > rho calculus > rholang

lapin7 commented 6 years ago

Please add links to the sections of the blog post.

dckc commented 6 years ago

progress: http://www.madmode.com/togl/picalc2 source: https://github.com/dckc/togl/blob/master/picalc2.lidr 348340d

@Jake-Gillberg maybe re-purpose this issue for the stuff we talked about? Or we could close this and make a new one.

dckc commented 6 years ago

See also: https://github.com/RChain-Collaborative-Learning/PiCalculus

dckc commented 6 years ago

This seems to be subsumed by #755.

dckc commented 6 years ago

nearby: RHOL-331 Come up with a formulae for describing all possible blockDAGs in Greg's graph algebra