Conclusion

Where we have been and where you could go next

Terms defined: formal verification

We have come a long way since we listed the contents of a directory in . Saving files in version control, making sure code meets style rules, debugging it and bundling it (hopefully in that order)—programmers do these things every day, and we hope that understanding how they work will help you do them better.

We hope your journey won't stop here. In particular, we would like to add more entries describing things like:

Contributions of all kinds are therefore welcome; please see the introduction in or the contributors' guide in for more information.

We shape our tools, and thereafter our tools shape us.

— Marshall McLuhan