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
1RChainREV #951
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…