Changeset 469


Ignore:
Timestamp:
Jan 21, 2011, 10:02:21 AM (6 years ago)
Author:
campbell
Message:

Update work-in-progress file to match current development.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/SmallstepExec.ma

    r25 r469  
    99; state : Type
    1010; input : Type
    11 ; output : Type
     11; output : (input → Type)
    1212; initial : state → Prop
    1313; final : state → int → Prop
     
    1919match n with
    2020[ O ⇒ Value ??? 〈E0, s〉
    21 | S n' ⇒ ! 〈t1,s1〉 ← step exec g s;:
     21| S n' ⇒ ! 〈t1,s1〉 ← step exec g s;
    2222         repeat n' exec g s1
    2323].
Note: See TracChangeset for help on using the changeset viewer.