Difference between revisions of "Resources"

From Cardano Wiki
Jump to: navigation, search
Line 28: Line 28:
  
 
*[https://gitter.im/runtimeverification/iele-semantics IELE Semantics Gitter]
 
*[https://gitter.im/runtimeverification/iele-semantics IELE Semantics Gitter]
 +
 +
*[https://runtimeverification.com/blog/?p=498 IELE VM Presentation]

Revision as of 12:17, 6 March 2018