Open heidihoward opened 4 years ago
I would be great if you could add a comment to each module specifying exactly which algorithm in the book it corresponds with. E.g. I assumed telephone.2.tla would be the algorithm from page 41 but it is the algorithm from page 42.
I would be great if you could add a comment to each module specifying exactly which algorithm in the book it corresponds with. E.g. I assumed telephone.2.tla would be the algorithm from page 41 but it is the algorithm from page 42.