aerabi/lttt

Implement semantics

Closed this issue · 0 comments

aerabi commented

The operational semantics based on the paper "Essence of Event-Driven Programming" [1] should be implemented.