This week's Casper Standup covered two different approaches to type checking in OSLF: model-checking and proof-theoretic.

28 Jan 2022, 07:17
This week's Casper Standup covered two different approaches to type checking in OSLF: model-checking and proof-theoretic. We described how both are automatically generated.

Same news in other sources

1
RChain
RChainREV #951
Telegram
28 Jan 2022, 07:23
Rholang is number 10: Blockchain Programming Languages to learn in 2022 mobcoder.com/blog/blockchai…
Rholang is number 10: Blockchain Programming Languages to learn in 2022 mobcoder. com/blog/blockchai….
Rholang is number 10: Blockchain Programming Languages to learn in 2022 mobcoder.com/blog/blockchai…