类型系统
-
详细的LADL（逻辑作为分配法则）证明理论 | 技术帖
每周，Greg会与RChain爱好者进行关于RChain技术的对话，以帮助社区更好了解Rholang语言、RSpace以及Casper等核心技术构件。这期整理稿来自于RCast第58期。
每周，Greg会与RChain爱好者进行关于RChain技术的对话，以帮助社区更好了解Rholang语言、RSpace以及Casper等核心技术构件。这期整理稿来自于RCast第58期。
