Proto: Add the formal semantics of a real programming language to the ruleset.
- DIS: Past-Proto-Contract: Router (for discussion only) Roger Hicks
- Re: DIS: Past-Proto-Contract: Router (for discussion o... Elliott Hird
- Re: DIS: Past-Proto-Contract: Router (for discussi... Geoffrey Spear
- Re: DIS: Past-Proto-Contract: Router (for discussi... Kerim Aydin
- Re: DIS: Past-Proto-Contract: Router (for discussion o... Ed Murphy
