[erlang-questions] help with smoker's problem

[Ulises]

I know this is not a CS list however I'll dare and post my solution to
the smokers problem in Erlang. Could anybody tell me if it's correct?

While we're at it, how would you go about checking that a particular
solution is actually correct for the problem being solved, i.e. how
can I systematically check that my code is _right_?

Best,

U
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smokers.erl
Type: application/octet-stream
Size: 1678 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20080819/092aeced/attachment.obj>