Functional dining philosophers :-).

Bit of a hack, since lacking pre-conditions and arrays, but works in as far as it should.