Recommended introduction talk for context: https://www.youtube.com/watch?v=OZIX8rs-kOA&ab_channel=GatewaytoCosmos https://www.youtube.com/watch?v=OZIX8rs-kOA&a

Recommended introduction talk for context: https://www.youtube.com/watch?v=OZIX8rs-kOA&ab_channel=GatewaytoCosmos https://www.youtube.com/watch?v=OZIX8rs-kOA&ab_channel=Gatew... TLDR: compileable modeling language to model the high-level protocol of your blockchain (or any distributed system). It's a "digitalization" step of plain written English protocol specifications to code.