Operational Semantics Primer

Source code:
 
          
Abstract syntax tree:
Semantic settings:
 
Interpretation results: Show fullscreen
Description: Show fullscreen