This repository was archived by the owner on Nov 3, 2021. It is now read-only.

Fix various TODOs - #72

Merged

rossberg merged 4 commits into

Jan 16, 2020

Commits on Jan 13, 2020

[interpreter] Move to small-step semantics
rossberg
committed
ed92058
Todos
rossberg
committed
dfb4c6c

Commits on Jan 14, 2020

Fix numbering
rossberg
committed
bb2aa93
Renaming meta var
rossberg
committed
29f785e