Anonymous user
Dining philosophers: Difference between revisions
→{{header|Oz}}: Removed unused helper function
(→{{header|Oz}}: Removed unused helper function) |
|||
Line 717:
catch _ then
false
end
end
|
(→{{header|Oz}}: Removed unused helper function) |
|||
Line 717:
catch _ then
false
end
end
|