[Arbiter-devel] Arbiter Language

[Noel D. <ma...@mc...>]

Should we create a precise definition of the Arbiter language? I think we'll 
need this for test generation.

Some ideas in: spikes/arbiter_language/language.rtf.

Noel