List view

• Sprint 02 - small step semantics (edited)

  Rewrite milestone 1 with small step semantics style EDIT I was going to use Coq proof assistant for the language definition, but I had been too optimistic.

  No due date

  •2/3 issues closed
  66% complete1 open2 closed